OMTPlan: Optimal Planning Modulo Theories
Public Member Functions | Public Attributes | List of all members
translate.sas_tasks.SASTemporalOperator Class Reference

Public Member Functions

def __init__ (self, name, duration, prevail, pre_post, assign_effects)
 
def output (self, stream)
 

Public Attributes

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

Member Data Documentation

translate.sas_tasks.SASTemporalOperator.duration

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


The documentation for this class was generated from the following file: