ConstraintSystem
fun <C : HeytingAlgebra<C>, V, T : Throwable> ConstraintSystem(constraints: Iterable<Constraint<C, V, T>>, bounds: BoundedLattice<C>, delegationContext: LatticeCongruence<C>)
Parameters
C
type of lattice constants
V
type of variables
T
type of exceptions thrown when there are unsatisfiable constraints
constraints
The set of constraints to solve.