|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| Does | |
| GDLAST | |
| GDLForm | |
| Init | |
| Role | |
| Rule | A rule is an implication of the form
h <= b_1 ∧ ... |
| RuleGeneral | |
| RuleGoal | |
| RuleLegal | |
| RuleNext | |
| RuleTerminal | |
| True | |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||