|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
ObjectDynamicEliminator
public class DynamicEliminator
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 |
---|
public DynamicEliminator(Orderer orderingMethod, Domain d)
Method Detail |
---|
public Set removeBestGroup()
public Set removeNoVarGroup()
public void addAll(Collection c)
public void add(SubDomain item)
public int removedLabel()
public Set activeVars()
public boolean hasActiveVars()
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |