AbstractMeetOperator<T extends IVariable> |
Abstract superclass for meet operators
|
BasicFramework<T,V extends IVariable> |
a basic implementation of the dataflow framework
|
BitVectorFilter |
Operator OUT = IN - filterSet
|
BitVectorFramework<T,L> |
a basic implementation of the dataflow framework
|
BitVectorIdentity |
Operator OUT = IN
|
BitVectorIntersection |
Operator U(n) = U(n) n U(j)
|
BitVectorKillAll |
Just kills everything
|
BitVectorKillGen |
Operator OUT = (IN - kill) U gen
|
BitVectorMinusVector |
Operator OUT = IN / v
|
BitVectorOr |
Operator OUT = IN U v
|
BitVectorSolver<T> |
|
BitVectorUnion |
Operator U(n) = U(n) U U(j)
|
BitVectorUnionConstant |
Operator OUT = IN U c
|
BitVectorUnionVector |
Operator lhs = lhs U rhs U v
|
BooleanIdentity |
Operator OUT = IN
|
BooleanSolver<T> |
|
BooleanUnion |
Operator U(n) = U(n) U U(j)
|
DataflowSolver<T,V extends IVariable<?>> |
Iterative solver for a Killdall dataflow framework
|
UnaryBitVectorUnion |
Operator U(n) = U(n) U U(j)
|