viaduct
0.2.0-5-g5831d91.dirty
compiler
/
edu.cornell.cs.apl.viaduct.algebra.solver
/
VariableTerm
/
getValue
get
Value
open
override
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.