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 |