ConstraintSolution

A solution to a system of constraints. Maps variables of type V to values of type C.

Functions

fun evaluate(term: Term<C, V>): C

Returns the value of term.

open operator override fun invoke(variable: V): C