Package jazzparser :: Package formalisms :: Package music_halfspan :: Package semantics :: Class Leftonto

Class Leftonto

                           object --+                
                                    |                
base.semantics.lambdacalc.LogicalForm --+            
                                        |            
       base.semantics.lambdacalc.Terminal --+        
                                            |        
            base.semantics.lambdacalc.Literal --+    
                                                |    
                                   object --+   |    
                                            |   |    
             base.semantics.temporal.Temporal --+    
                                                |    
                                        Predicate --+
                                                    |
                                                   Leftonto

A leftonto predicate literal. Apply leftonto to a path using a function application: (leftonto ...)

Instance Methods

[hide private]

__init__(self, *args, **kwargs)
Builds a basic logical form object for a literal.

source code

Inherited from Predicate: __eq__, __str__, copy, format_result, get_start_time, predicate_str, set_time

Inherited from Predicate (private): _function_apply

Inherited from base.semantics.lambdacalc.Literal: to_latex

Inherited from base.semantics.lambdacalc.Terminal: alpha_convert, alpha_equivalent, beta_reduce, get_bound_variables, get_children, get_variables, replace_immediate_constituent, substitute

Inherited from base.semantics.lambdacalc.LogicalForm: __ne__, __repr__, get_ancestor_bound_variables, get_instances, get_unbound_variables, replace_in_parent

Inherited from base.semantics.temporal.Temporal: get_literal_time_list, get_path_times, get_time_list, set_all_times, simultaneous

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

Class Variables

[hide private]

Inherited from Predicate: timed_object

Properties

[hide private]

Inherited from base.semantics.temporal.Temporal: duration, time

Inherited from object: __class__

Method Details

[hide private]

init(self, *args, **kwargs)
(Constructor)

source code

Builds a basic logical form object for a literal.

Overrides: object.__init__: (inherited documentation)

Class Leftonto

__init__(self, *args, **kwargs) (Constructor)

init(self, *args, **kwargs)
(Constructor)