Module evaluate


Classes

Assignment
CharFun
Error
Model
Undefined
Valuation

Functions

demo
depth
flatten
foldemo
folmodel
isrel
propdemo
satdemo

Variables

mult

[hide private]