Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## cve
Class CoveringRuleCollection

    java.lang.Object
      |
      +--cve.RuleCollection
            |
            +--cve.CoveringRuleCollection

public class CoveringRuleCollection
extends RuleCollection

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
`, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait`

Constructor Detail

### CoveringRuleCollection

    public CoveringRuleCollection()

Method Detail

### absorb

    public CoveringRuleCollection absorb(GenRule rule)

  absorbs this generalised rule into a collection of generalised rules.
  Parameters:
    `genRules` - a collection of GenRule to absorb this rule into.
    `return` - a rule collection of GenRule to add the results to.

Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD