compiler/edu.cornell.cs.apl.viaduct.security.solver/LabelConstant/getValue

getValue

open override fun getValue(solution: ConstraintSolution): Label
Content copied to clipboard

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