class documentation
class BoxerDrs(AbstractBoxerDrs): (source)
Constructor: BoxerDrs(refs, conds, consequent)
Undocumented
Method | __eq__ |
Undocumented |
Method | __init__ |
Undocumented |
Method | __ne__ |
Undocumented |
Method | __repr__ |
Undocumented |
Method | atoms |
Undocumented |
Method | clean |
Undocumented |
Method | renumber |
Undocumented |
Instance Variable | conds |
Undocumented |
Instance Variable | consequent |
Undocumented |
Instance Variable | refs |
Undocumented |
Method | _variables |
No summary |
Inherited from AbstractBoxerDrs
:
Method | __hash__ |
Undocumented |
Method | variable |
Undocumented |
Method | variables |
No summary |
Method | _clean |
Undocumented |