OMTPlan: Optimal Planning Modulo Theories
|
Public Member Functions | |
def | __init__ (self, rules) |
def | unify (self, atom) |
def | dump (self) |
Public Attributes | |
predicate_to_rule_generator | |
Private Member Functions | |
def | _insert_condition (self, rule, cond_index) |