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.