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.