Module evaluate
Classes
Assignment
Error
Model
Undefined
Valuation
Functions
app
arity
demo
foldemo
folmodel
is_rel
make_VariableExpression
propdemo
satdemo
set2rel
trace
Variables
mult
[
hide private
]