Functions
axiom_rules Namespace Reference

Functions

def compute_axiom_layers
def compute_constant_axioms
def compute_necessary_axiom_literals
def compute_negative_axioms
def get_axiom_init
def get_axioms_by_atom
def handle_axioms
def negate
def remove_duplicates
def simplify
def simplify_axioms

Function Documentation

def axiom_rules.compute_axiom_layers (   axioms,
  axiom_init 
)

Definition at line 45 of file axiom_rules.py.

Computes which axioms always evaluate to the same constant values 

Definition at line 190 of file axiom_rules.py.

def axiom_rules.compute_necessary_axiom_literals (   axioms_by_atom,
  operators,
  durative_operators,
  goal 
)

Definition at line 92 of file axiom_rules.py.

def axiom_rules.compute_negative_axioms (   axioms_by_atom,
  necessary_literals 
)

Definition at line 250 of file axiom_rules.py.

def axiom_rules.get_axiom_init (   axioms_by_atom,
  necessary_literals 
)

Definition at line 134 of file axiom_rules.py.

Definition at line 39 of file axiom_rules.py.

def axiom_rules.handle_axioms (   operators,
  durative_operators,
  axioms,
  goals 
)

Definition at line 6 of file axiom_rules.py.

def axiom_rules.negate (   axioms)

Definition at line 259 of file axiom_rules.py.

Definition at line 152 of file axiom_rules.py.

def axiom_rules.simplify (   axioms)
Remove duplicate axioms, duplicates within axioms, and dominated axioms.

Definition at line 160 of file axiom_rules.py.

def axiom_rules.simplify_axioms (   axioms_by_atom,
  necessary_literals 
)

Definition at line 143 of file axiom_rules.py.



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