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

Class Semantics

object --+
         |
        Semantics

Known Subclasses:

music_halfspan.semantics.Semantics

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__