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

Class Semantics

source code

object --+
         |
        Semantics
Known Subclasses:

This acts as the root node in the LF's tree structure. Any LF that is built as a semantic representation should be contained in an instance of Semantics.

Instance Methods [hide private]
 
__init__(self, lf)
Creates a new container for a logical form.
source code
 
beta_reduce(self, *args, **kwargs)
Beta-reduction.
source code
 
replace_immediate_constituent(self, old_lf, new_lf) source code
 
__eq__(self, expr) source code
 
__ne__(self, other) source code
 
alpha_equivalent(self, other) source code
 
__str__(self)
str(x)
source code
 
to_latex(self) source code
 
get_children(self) source code
 
copy(self) source code
 
get_ancestor_bound_variables(self) source code
 
__repr__(self)
repr(x)
source code

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

Properties [hide private]

Inherited from object: __class__

Method Details [hide private]

__init__(self, lf)
(Constructor)

source code 

Creates a new container for a logical form. The logical form itself should be given as lf (an instance of a subclass of LogicalForm)

Overrides: object.__init__

beta_reduce(self, *args, **kwargs)

source code 

Beta-reduction. Takes place in place (i.e. the result will be substituted into the parent), but the final result is returning, for convenience.

__str__(self)
(Informal representation operator)

source code 

str(x)

Overrides: object.__str__
(inherited documentation)

__repr__(self)
(Representation operator)

source code 

repr(x)

Overrides: object.__repr__
(inherited documentation)