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

Class Literal

source code

 object --+        
          |        
LogicalForm --+    
              |    
       Terminal --+
                  |
                 Literal
Known Subclasses:

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)