Package nltk_lite :: Package contrib :: Package mit :: Package six863 :: Package semantics :: Module logic :: Class ConstantExpression
[hide private]
[frames] | no frames]

Class ConstantExpression

source code

object --+    
         |    
Expression --+
             |
            ConstantExpression
Known Subclasses:
Operator

A constant expression, consisting solely of a constant.

Instance Methods [hide private]
 
__init__(self, constant) source code
 
equals(self, other)
Are the two expressions equal, modulo alpha conversion?
source code
 
variables(self)
Set of all variables.
source code
 
free(self)
Set of free variables.
source code
 
subterms(self)
Set of all subterms (including self).
source code
 
replace(self, variable, expression, replace_bound=True)
Replace all instances of variable v with expression E in self, where v is free in self.
source code
 
simplify(self)
Evaluate the form by repeatedly applying applications.
source code
 
infixify(self) source code
 
name(self) source code
 
_skolemise(self, bound_vars, counter) source code
 
__str__(self) source code
 
__repr__(self) source code
 
__hash__(self) source code

Inherited from Expression: __eq__, __ne__, clauses, normalize, replace_unique, skolemise, skolemize

Inherited from object: __delattr__, __getattribute__, __new__, __reduce__, __reduce_ex__, __setattr__

Properties [hide private]

Inherited from object: __class__

Method Details [hide private]

__init__(self, constant)
(Constructor)

source code 
Overrides: Expression.__init__

equals(self, other)

source code 

Are the two expressions equal, modulo alpha conversion?

Overrides: Expression.equals
(inherited documentation)

variables(self)

source code 

Set of all variables.

Overrides: Expression.variables
(inherited documentation)

free(self)

source code 

Set of free variables.

Overrides: Expression.free
(inherited documentation)

subterms(self)

source code 

Set of all subterms (including self).

Overrides: Expression.subterms
(inherited documentation)

replace(self, variable, expression, replace_bound=True)

source code 

Replace all instances of variable v with expression E in self, where v is free in self.

Overrides: Expression.replace
(inherited documentation)

simplify(self)

source code 

Evaluate the form by repeatedly applying applications.

Overrides: Expression.simplify
(inherited documentation)

_skolemise(self, bound_vars, counter)

source code 
Overrides: Expression._skolemise

__str__(self)
(Informal representation operator)

source code 
Overrides: Expression.__str__

__repr__(self)
(Representation operator)

source code 
Overrides: Expression.__repr__

__hash__(self)
(Hashing function)

source code 
Overrides: Expression.__hash__