OMTPlan: Optimal Planning Modulo Theories
Main Page
Classes
Files
Class List
Class Index
Class Hierarchy
Class Members
translate
pddl
axioms
PropositionalAxiom
Public Member Functions
|
Public Attributes
|
List of all members
translate.pddl.axioms.PropositionalAxiom Class Reference
Public Member Functions
def
__init__
(self, name, condition, effect)
def
clone
(self)
def
dump
(self)
Public Attributes
name
condition
effect
The documentation for this class was generated from the following file:
translate/pddl/axioms.py
Generated by
1.8.11