Package jazzparser :: Package formalisms :: Package music_halfspan :: Package semantics :: Class Semantics

Class Semantics

                               object --+    
                                        |    
      base.semantics.lambdacalc.Semantics --+
                                            |
                               object --+   |
                                        |   |
base.semantics.temporal.TemporalSemantics --+
                                            |
                                           Semantics

hash(x)

Instance Methods

[hide private]

__init__(self, *args, **kwargs)
Creates a new container for a logical form.

source code

format_result(self)

source code

Inherited from base.semantics.lambdacalc.Semantics: __eq__, __ne__, __repr__, __str__, alpha_equivalent, beta_reduce, copy, get_ancestor_bound_variables, get_children, replace_immediate_constituent, to_latex

Inherited from base.semantics.temporal.TemporalSemantics: get_path_times, get_time_list, set_all_times, set_time

Inherited from base.semantics.temporal.TemporalSemantics (private): _get_duration, _set_duration

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

Properties

[hide private]

Inherited from base.semantics.temporal.TemporalSemantics: duration

Inherited from object: __class__

Method Details

[hide private]

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

source code

Creates a new container for a logical form. The logical form itself should be given as lf (an instance of a subclass of LogicalForm)

Overrides: object.__init__: (inherited documentation)

Class Semantics

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

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