Trees       Indices       Help   
The Jazz Parser (r2525)
Package jazzparser :: Package formalisms :: Package music_halfspan :: Package semantics :: Class Predicate
[hide private]
[frames] | no frames]

Class Predicate

source code

                           object --+            
                                    |            
base.semantics.lambdacalc.LogicalForm --+        
                                        |        
       base.semantics.lambdacalc.Terminal --+    
                                            |    
            base.semantics.lambdacalc.Literal --+
                                                |
                                   object --+   |
                                            |   |
             base.semantics.temporal.Temporal --+
                                                |
                                               Predicate
Known Subclasses:

Superclass of literal predicates (such as leftonto).

Instance Methods [hide private]
 
__init__(self, *args, **kwargs)
Builds a basic logical form object for a literal.		 source code
 
__eq__(self, other)
This should be overridden by subclasses.		 source code
 
__str__(self)
str(x)		 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
 
format_result(self) source code
 
_function_apply(self, argument)
Implements the special behaviours of predicates when applied to lists.		 source code
 
copy(self)
This should be overridden by subclasses.		 source code
 
set_time(self, time)
Should be overridden by subclasses.		 source code
 
get_start_time(self) source code

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__

Class Variables [hide private]
  timed_object = True
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 basic logical form object for a literal.

Overrides: object.__init__
(inherited documentation)

__eq__(self, other)
(Equality operator)

source code 

This should be overridden by subclasses.

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

__str__(self)
(Informal representation operator)

source code 

str(x)

Overrides: object.__str__
(inherited documentation)

predicate_str(self)

source code 

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

copy(self)

source code 

This should be overridden by subclasses.

Overrides: base.semantics.lambdacalc.LogicalForm.copy
(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)

   Trees       Indices       Help   
The Jazz Parser (r2525)
Generated by Epydoc 3.0.1 on Mon Nov 26 16:04:57 2012 http://epydoc.sourceforge.net