Home | Trees | Indices | Help |
|
---|
|
This module provides data structures for representing first-order models.
|
|||
Error | |||
Undefined | |||
CharFun A dictionary which represents a curryed characteristic function. |
|||
Valuation A dictionary which represents a model-theoretic Valuation of non-logical constants. |
|||
Assignment A dictionary which represents an assignment of values to variables. |
|||
Model A first order model is a domain D of discourse and a valuation V. |
|
|||
|
|||
set |
|
||
int
|
|
||
|
|||
|
|||
|
|||
|
|||
|
|
|||
mult = 30
|
|
Check whether a set represents a relation (of any arity).
|
|
Calculate the depth of a CharFun.
|
Run some demos.
|
Home | Trees | Indices | Help |
|
---|
Generated by Epydoc 3.0beta1 on Wed May 16 22:47:20 2007 | http://epydoc.sourceforge.net |