Package jazzparser :: Package formalisms :: Package base :: Package semantics :: Module lambdacalc :: Class Terminal
[hide private]
[frames] | no frames]

Class Terminal

source code

 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