compiler/edu.cornell.cs.apl.viaduct.algebra.solver/ConstraintSystem/ConstraintSystem

ConstraintSystem

fun <A : HeytingAlgebra<A>> ConstraintSystem(top: A)
Content copied to clipboard

Parameters

A

domain of values

T

type of exceptions thrown when there are unsatisfiable constraints

top

greatest element of A