Interface TPremiseSetSatisfiabilityInput

Variable IDs pinned true in every row, and given no column.

Variable IDs available to enumerate over — the same claim-bound and externally-bound set evaluation uses. Internally premise-bound variables resolve lazily and get no column. Passing more than the premises reach is harmless: an id no premise can reach gets no column.

The premises that must come out true together.