public class GenReach<T,L> extends BitVectorFramework<T,L>
GenReach(Graph<T> flowGraph, Map<T,Collection<L>> gen)
getLatticeValues
getFlowGraph, getTransferFunctionProvider
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public GenReach(Graph<T> flowGraph, Map<T,Collection<L>> gen)