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

Class Literal

 object --+        
          |        
LogicalForm --+    
              |    
       Terminal --+
                  |
                 Literal

Known Subclasses:

music_halfspan.semantics.Predicate

Represents any literal that is used in a semantic expression. These are the predicates that are glued together using lambda expressions.

Instance Methods

[hide private]

__init__(self, name)
Builds a basic logical form object for a literal.

source code

copy(self)
This should be overridden by subclasses.

source code

__eq__(self, lf)
This should be overridden by subclasses.

source code

__str__(self)
str(x)

source code

to_latex(self)

source code

Inherited from Terminal: alpha_convert, alpha_equivalent, beta_reduce, get_bound_variables, get_children, get_variables, replace_immediate_constituent, substitute

Inherited from LogicalForm: __ne__, __repr__, 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__, __subclasshook__

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

init(self, name)
(Constructor)

source code

Builds a basic logical form object for a literal.

Overrides: object.__init__

copy(self)

source code

This should be overridden by subclasses.

Overrides: LogicalForm.copy: (inherited documentation)

eq(self, lf)
(Equality operator)

source code

This should be overridden by subclasses.

Overrides: LogicalForm.__eq__: (inherited documentation)

str(self)
(Informal representation operator)

source code

str(x)

Overrides: object.__str__: (inherited documentation)

Class Literal

__init__(self, name) (Constructor)

copy(self)

__eq__(self, lf) (Equality operator)

__str__(self) (Informal representation operator)

init(self, name)
(Constructor)

eq(self, lf)
(Equality operator)

str(self)
(Informal representation operator)