Package nltk_lite :: Package contrib :: Package mit :: Package six863 :: Package semantics :: Module logic :: Class ConstantExpression

[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)

Class ConstantExpression

__init__(self, constant) (Constructor)

equals(self, other)

variables(self)

free(self)

subterms(self)

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

simplify(self)

_skolemise(self, bound_vars, counter)

__str__(self) (Informal representation operator)

__repr__(self) (Representation operator)

__hash__(self) (Hashing function)

init(self, constant)
(Constructor)

str(self)
(Informal representation operator)

repr(self)
(Representation operator)

hash(self)
(Hashing function)