Home | Trees | Indices | Help |
|
---|
|
A version of first order logic, built on top of the untyped lambda calculus.
The class of Expression
has various subclasses:
VariableExpression
|
|||
Error | |||
Variable A variable, either free or bound. |
|||
Constant A nonlogical constant. |
|||
Expression The abstract class of a lambda calculus expression. |
|||
VariableExpression A variable expression which consists solely of a variable. |
|||
IndVariableExpression An individual variable expression, as determined by is_indvar() .
|
|||
ConstantExpression A constant expression, consisting solely of a constant. |
|||
Operator A boolean operator, such as 'not' or 'and', or the equality relation ('='). |
|||
VariableBinderExpression A variable binding expression: e.g. |
|||
LambdaExpression A lambda expression: \x.M. |
|||
SomeExpression An existential quantification expression: some x.M. |
|||
AllExpression A universal quantification expression: all x.M. |
|||
ApplicationExpression An application expression: (M N). |
|||
Parser A lambda calculus expression parser. |
|
|||
Boolean |
|
||
|
|||
|
|
Check whether an expression has the form of an individual variable. An individual variable matches the following regex:
|
Home | Trees | Indices | Help |
|
---|
Generated by Epydoc 3.0beta1 on Wed May 16 22:47:20 2007 | http://epydoc.sourceforge.net |