Package jazzparser :: Package formalisms :: Package music_halfspan :: Package semantics :: Class LambdaAbstraction

Class LambdaAbstraction

                             object --+        
                                      |        
  base.semantics.lambdacalc.LogicalForm --+    
                                          |    
base.semantics.lambdacalc.LambdaAbstraction --+
                                              |
                                 object --+   |
                                          |   |
           base.semantics.temporal.Temporal --+
                                              |
                                             LambdaAbstraction

Standard abstraction implementation overridden to add time processing.

Nested Classes

[hide private]

VARIABLE_CLASS
Standard variable implementation overridden to add time processing.

Instance Methods

[hide private]

__init__(self, *args, **kwargs)
Builds a lambda abstraction.

source code

set_time(self, time)
Should be overridden by subclasses.

source code

get_start_time(self)

source code

result_comma_string(self)

source code

format_result(self)

source code

Inherited from base.semantics.lambdacalc.LambdaAbstraction: __eq__, __str__, alpha_convert, alpha_equivalent, beta_reduce, comma_latex, comma_string, copy, get_bound_variables, get_children, get_variables, replace_immediate_constituent, substitute, to_latex

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 base.semantics.temporal.Temporal: 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 lambda abstraction. variable should be a Variable object and expression should be another LogicalForm, potentially containing the variable, bound by this abstraction.

Overrides: object.__init__: (inherited documentation)

set_time(self, time)

source code

Should be overridden by subclasses.

Sets the start time of this logical form. This is different to just setting the time property: using set_time() may pass the time property down to its children if that is appropriate for the semantic type.

It is also distinct from set_all_times(), which recursively sets the time on all children.

This must be provided by all subclasses.

Overrides: base.semantics.temporal.Temporal.set_time: (inherited documentation)

Class LambdaAbstraction

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

set_time(self, time)

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