normalize.py File Reference

Go to the source code of this file.

Classes
class	normalize.AxiomConditionProxy
class	normalize.ConditionProxy
class	normalize.EffectConditionProxy
class	normalize.GoalConditionProxy
class	normalize.PreconditionProxy
Namespaces
namespace	normalize
Functions
def	normalize.add_either_rules
def	normalize.all_conditions
def	normalize.build_DNF
def	normalize.build_exploration_rules
def	normalize.condition_to_rule_body
def	normalize.get_action_predicate
def	normalize.get_axiom_predicate
def	normalize.get_fluent_function_predicate
def	normalize.get_fluent_predicates
def	normalize.get_function_axiom_predicate
def	normalize.get_function_predicate
def	normalize.move_existential_quantifiers
def	normalize.normalize
def	normalize.remove_arithmetic_expressions
def	normalize.remove_duration_variable
def	normalize.remove_object_functions
def	normalize.remove_object_functions_from_durations
def	normalize.remove_universal_quantifiers
def	normalize.split_disjunctions
def	normalize.substitute_complicated_goal
Variables
tuple	normalize.task = pddl.open()