Package jazzparser :: Package formalisms :: Package music_halfspan :: Package semantics :: Class Now

Class Now

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

A special predicate that doesn't change its argument at all, except to set its start time to be no later than the start time associated with the predicate.

Instance Methods

[hide private]

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

source code

predicate_str(self)
Returns a string that should be used as the str representation of this predicate when it's used in a function application: e.g.

source code

_function_apply(self, argument)
Override function application behaviour.

source code

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

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__