|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--cve.RuleCollection | +--cve.CoveringRuleCollection
A covering rule collection is a collection of generalised rules that are disjoint and covering.
Inner classes inherited from class cve.RuleCollection |
RuleCollection.Itr |
Fields inherited from class cve.RuleCollection |
defaultInitialMaxSize, maxContextSize, maxNumRules, maxSize, maxTableSize, size, theRules |
Constructor Summary | |
CoveringRuleCollection()
|
Method Summary | |
CoveringRuleCollection |
absorb(GenRule rule)
absorbs this generalised rule into a collection of generalised rules. |
Methods inherited from class cve.RuleCollection |
add, combineRemainingRules, disjoint, eliminate, eliminatePretend, factorSet, getMaxContextSize, getMaxNumRules, getMaxTableSize, getNumRules, getSize, iterator, observe, print, printBrief, removeVar, resetMaxTableSize, ruleCollectionSum, unionVariableArrays |
Methods inherited from class java.lang.Object |
|
Constructor Detail |
public CoveringRuleCollection()
Method Detail |
public CoveringRuleCollection absorb(GenRule rule)
genRules
- a collection of GenRule to absorb this rule into.return
- a rule collection of GenRule to add the results to.
|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |