|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary | |
|---|---|
| AugmentingRuleSafetyProcessor | Uses the trick of augmenting rules to artificially limit variables. |
| StandardRuleSafetyProcessor | A standard rule-safety processor that checks if all variables are limited, a la Ullman. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||