Classes | Functions | Variables
simplify Namespace Reference

Classes

class  DoesNothing
class  DomainTransitionGraph
class  Impossible
class  VarValueRenaming

Functions

def build_dtgs
def build_renaming
def constrain_end_effect_conditions
def dump_translation_key
def filter_unreachable_propositions

Variables

tuple always_false = object()
tuple always_true = object()
 DEBUG = True

Function Documentation

def simplify.build_dtgs (   task)

Definition at line 44 of file simplify.py.

def simplify.build_renaming (   dtgs)

Definition at line 265 of file simplify.py.

Definition at line 315 of file simplify.py.

def simplify.dump_translation_key (   translation_key)

Definition at line 272 of file simplify.py.

def simplify.filter_unreachable_propositions (   sas_task,
  mutex_key,
  translation_key 
)

Definition at line 278 of file simplify.py.


Variable Documentation

tuple simplify::always_false = object()

Definition at line 68 of file simplify.py.

tuple simplify::always_true = object()

Definition at line 69 of file simplify.py.

Definition at line 7 of file simplify.py.



tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06