All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines
Public Member Functions | Public Attributes
sas_tasks.SASTemporalOperator Class Reference

List of all members.

Public Member Functions

def __init__
def output

Public Attributes

 assign_effects
 duration
 Currently we assume in the knowledge compilation and search that there is a single exact at start duration constraint.
 module_effects
 name
 pre_post
 prevail

Detailed Description

Definition at line 165 of file sas_tasks.py.


Constructor & Destructor Documentation

def sas_tasks.SASTemporalOperator.__init__ (   self,
  name,
  duration,
  prevail,
  pre_post,
  assign_effects,
  mod_effects 
)

Definition at line 166 of file sas_tasks.py.


Member Function Documentation

def sas_tasks.SASTemporalOperator.output (   self,
  stream 
)

Definition at line 182 of file sas_tasks.py.


Member Data Documentation

Definition at line 171 of file sas_tasks.py.

Currently we assume in the knowledge compilation and search that there is a single exact at start duration constraint.

If someone wants to change this it is only necessary to adapt the output method and to remove this assertion

Definition at line 171 of file sas_tasks.py.

Definition at line 171 of file sas_tasks.py.

Definition at line 166 of file sas_tasks.py.

Definition at line 171 of file sas_tasks.py.

Definition at line 171 of file sas_tasks.py.


The documentation for this class was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Tue Jan 22 2013 12:25:04