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.

def simplify.constrain_end_effect_conditions

(

sas_task

)

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.

simplify::DEBUG = True

Definition at line 7 of file simplify.py.