Module evaluate
Classes
Assignment
CharFun
Error
Model
Undefined
Valuation
Functions
demo
depth
flatten
foldemo
folmodel
isrel
propdemo
satdemo
Variables
mult
[
hide private
]