|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
bool or 'Undefined'
|
evaluate(self,
expr,
g,
trace=None)
Call the LogicParser to parse input expressions, and provide
a handler for satisfy that blocks further propagation of the
Undefined error. |
source code
|
|
|
satisfy(self,
parsed,
g,
trace=None)
Recursive interpretation function for a formula of first-order logic. |
source code
|
|
|
i(self,
parsed,
g,
trace=False)
An interpretation function. |
source code
|
|
|
satisfiers(self,
parsed,
varex,
g,
trace=None,
nesting=0)
Generate the entities from the model's domain that satisfy an open
formula. |
source code
|
|
Inherited from object :
__delattr__ ,
__getattribute__ ,
__hash__ ,
__new__ ,
__reduce__ ,
__reduce_ex__ ,
__setattr__
|