il2.inf.structure
Class Binner

Object
  extended by Binner

public class Binner
extends Object


Constructor Summary
Binner(Domain d)
           
 
Method Summary
 Set activeVars()
           
 void add(SubDomain sd)
           
 void addAll(Collection c)
           
 Set removeItemsContaining(int var)
           
 Set removeNoVarItems()
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Binner

public Binner(Domain d)
Method Detail

activeVars

public Set activeVars()

removeNoVarItems

public Set removeNoVarItems()

removeItemsContaining

public Set removeItemsContaining(int var)

add

public void add(SubDomain sd)

addAll

public void addAll(Collection c)


Copyright 2010 UCLA Automated Reasoning Group