|
TPTP 4.2.0 Platform Project Internal API Specification |
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
| Class Summary | |
|---|---|
| RuleConditionalNegationIfConditionQuickFix | QuickFix for the rule RuleConditionalNegationIfCondition |
| RuleConditionalTernaryQuickFix | QuickFix for the rule RuleConditionalTernary |
|
TPTP 4.2.0 Platform Project Internal API Specification |
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||