edu.umd.cs.db.xsq
Class CurrentStateSet

java.lang.Object
  |
  +--edu.umd.cs.db.xsq.CurrentStateSet

public class CurrentStateSet
extends java.lang.Object

Class description goes here


Constructor Summary
CurrentStateSet(edu.umd.cs.db.xsq.PDTState startState, long initFlag)
           
 
Method Summary
 boolean addState(edu.umd.cs.db.xsq.PDTState state, long flag)
           
 void checkAll()
           
 long getFlag(int count)
           
 edu.umd.cs.db.xsq.PDTState getState(int count)
           
 void keep(int count)
           
 void remove(int count)
           
 void removeAll()
           
 boolean removeState(edu.umd.cs.db.xsq.PDTState state, long flag)
           
 int size()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CurrentStateSet

public CurrentStateSet(edu.umd.cs.db.xsq.PDTState startState,
                       long initFlag)
Method Detail

addState

public boolean addState(edu.umd.cs.db.xsq.PDTState state,
                        long flag)

removeState

public boolean removeState(edu.umd.cs.db.xsq.PDTState state,
                           long flag)

getState

public edu.umd.cs.db.xsq.PDTState getState(int count)

getFlag

public long getFlag(int count)

remove

public void remove(int count)

keep

public void keep(int count)

removeAll

public void removeAll()

checkAll

public void checkAll()

size

public int size()