Package jazzparser :: Package formalisms :: Package base :: Package semantics :: Module lambdacalc :: Class Terminal

Class Terminal

 object --+    
          |    
LogicalForm --+
              |
             Terminal

Known Subclasses:

Base class for any logical forms that are atomic: have no children. This overrides abstract classes that will always have the same behaviour for terminals.

Instance Methods

[hide private]

alpha_convert(self, source_var, target_var)
Alpha-converting a terminal does nothing.

source code

beta_reduce(self, *args, **kwargs)
Beta-converting a terminal does nothing.

source code

substitute(self, source_variable, target_expression)
There are no variables in a terminal, so this does nothing.

source code

replace_immediate_constituent(self, old_lf, new_lf)
A terminal has no constituents, so this does nothing.

source code

get_variables(self)
No variables in a terminal.

source code

get_bound_variables(self)
No variables in a terminal.

source code

get_children(self)
No children of a terminal.

source code

alpha_equivalent(self, other, substitution)
Checks whether self is equal to a LF that can be derived by some variable substitution S into other, where S contains the substitution T given by "substitution".

source code

Inherited from LogicalForm: __eq__, __init__, __ne__, __repr__, copy, get_ancestor_bound_variables, get_instances, get_unbound_variables, replace_in_parent

Inherited from object: __delattr__, __format__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __setattr__, __sizeof__, __str__, __subclasshook__

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

alpha_convert(self, source_var, target_var)

source code

Alpha-converting a terminal does nothing.

Overrides: LogicalForm.alpha_convert

beta_reduce(self, *args, **kwargs)

source code

Beta-converting a terminal does nothing.

Overrides: LogicalForm.beta_reduce

substitute(self, source_variable, target_expression)

source code

There are no variables in a terminal, so this does nothing.

Overrides: LogicalForm.substitute

replace_immediate_constituent(self, old_lf, new_lf)

source code

A terminal has no constituents, so this does nothing.

Overrides: LogicalForm.replace_immediate_constituent

get_variables(self)

source code

No variables in a terminal.

Overrides: LogicalForm.get_variables

get_bound_variables(self)

source code

No variables in a terminal.

Overrides: LogicalForm.get_bound_variables

get_children(self)

source code

No children of a terminal.

Overrides: LogicalForm.get_children

alpha_equivalent(self, other, substitution)

source code

Checks whether self is equal to a LF that can be derived by some variable substitution S into other, where S contains the substitution T given by "substitution".

Substitution has no effect on a terminal, so they're only alpha-equivalent if they're equal.

Overrides: LogicalForm.alpha_equivalent