il2.inf.structure
Class DynamicEliminator

Object
  extended by DynamicEliminator

public class DynamicEliminator
extends Object


Constructor Summary
DynamicEliminator(Orderer orderingMethod, Domain d)
           
 
Method Summary
 Set activeVars()
           
 void add(SubDomain item)
           
 void addAll(Collection c)
           
 boolean hasActiveVars()
           
 Set removeBestGroup()
           
 int removedLabel()
           
 Set removeNoVarGroup()
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DynamicEliminator

public DynamicEliminator(Orderer orderingMethod,
                         Domain d)
Method Detail

removeBestGroup

public Set removeBestGroup()

removeNoVarGroup

public Set removeNoVarGroup()

addAll

public void addAll(Collection c)

add

public void add(SubDomain item)

removedLabel

public int removedLabel()

activeVars

public Set activeVars()

hasActiveVars

public boolean hasActiveVars()


Copyright 2010 UCLA Automated Reasoning Group