public class BitVectorFramework<T,L> extends BasicFramework<T,BitVectorVariable>
Constructor and Description |
---|
BitVectorFramework(Graph<T> flowGraph,
ITransferFunctionProvider<T,BitVectorVariable> transferFunctionProvider,
OrdinalSetMapping<L> latticeValues) |
Modifier and Type | Method and Description |
---|---|
OrdinalSetMapping<L> |
getLatticeValues() |
getFlowGraph, getTransferFunctionProvider
public BitVectorFramework(Graph<T> flowGraph, ITransferFunctionProvider<T,BitVectorVariable> transferFunctionProvider, OrdinalSetMapping<L> latticeValues)
public OrdinalSetMapping<L> getLatticeValues()