Home | Trees | Indices | Help |
|
---|
|
object --+ | SubstituteBindingsI --+ | Expression
This is the base abstract object for all logical expressions
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
(any) |
|
||
|
|||
|
|||
|
|||
|
|||
Inherited from |
|
|||
Inherited from |
|
Pass the expression (self <-> other) to the theorem prover. If the prover says it is valid, then the self and other are equal. |
hash(x)
|
|
repr(x)
|
str(x)
|
Return a set of all the variables that are available to be replaced. This includes free (non-bound) variables as well as predicates.
|
Return a set of all the free (non-bound) variables in self. Variables serving as predicates are no included.
|
Home | Trees | Indices | Help |
|
---|
Generated by Epydoc 3.0beta1 on Wed Aug 27 15:08:57 2008 | http://epydoc.sourceforge.net |