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