Package jazzparser :: Package formalisms :: Package music_halfspan :: Package semantics :: Class Variable

Class Variable

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

Standard variable implementation overridden to add time processing.

Instance Methods

[hide private]

__init__(self, *args, **kwargs)
Creates a new variable object, representing the variable given by name.

source code

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

source code

get_start_time(self)

source code

copy(self)
This should be overridden by subclasses.

source code

format_result(self)

source code

Inherited from base.semantics.lambdacalc.Variable: __eq__, __hash__, __str__, alpha_convert, alpha_equivalent, beta_reduce, get_bound_variables, get_children, get_sibling_variables, get_variable_name, 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__, __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

Creates a new variable object, representing the variable given by name.

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)

copy(self)

source code

This should be overridden by subclasses.

Overrides: base.semantics.lambdacalc.LogicalForm.copy: (inherited documentation)

Class Variable

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

set_time(self, time)

copy(self)

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