compiler/edu.cornell.cs.apl.viaduct.algebra.solver/ConstraintTerm/getValue

getValue

abstract fun getValue(solution: ConstraintSolution<A>): A
Content copied to clipboard

Returns the value of this term given an assignment of values to every variable in the term.