Package jazzparser :: Package formalisms :: Package music_halfspan :: Package semantics :: Class FunctionApplication

Class FunctionApplication

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

Standard application implementation overridden to add time processing.

Instance Methods

[hide private]

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

source code

__str__(self)
Special str to make predicates appear in FOL style, rather than HOL style, which is the default.

source code

format_result(self)

source code

get_start_time(self)

source code

Inherited from base.semantics.lambdacalc.FunctionApplication: __eq__, __init__, alpha_convert, alpha_equivalent, beta_reduce, copy, get_bound_variables, get_children, get_variables, replace_immediate_constituent, substitute, to_latex

Inherited from base.semantics.lambdacalc.FunctionApplication (private): _format

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.lambdacalc.FunctionApplication: INFIX_OPERATORS

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]

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)

str(self)
(Informal representation operator)

source code

Special str to make predicates appear in FOL style, rather than HOL style, which is the default.

Overrides: object.__str__

Class FunctionApplication

set_time(self, time)

__str__(self) (Informal representation operator)

str(self)
(Informal representation operator)