public class BitVectorSolver<T> extends DataflowSolver<T,BitVectorVariable>
DataflowSolver
specialized for BitVectorVariable
sAbstractFixedPointSolver.Statement
DEFAULT_PERIODIC_MAINTENANCE_INTERVAL, DEFAULT_VERBOSE_INTERVAL, verbose, workList
CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK
Constructor and Description |
---|
BitVectorSolver(IKilldallFramework<T,BitVectorVariable> problem) |
Modifier and Type | Method and Description |
---|---|
protected BitVectorVariable |
makeEdgeVariable(T src,
T dst) |
protected BitVectorVariable |
makeNodeVariable(T n,
boolean IN) |
protected BitVectorVariable[] |
makeStmtRHS(int size) |
buildEquations, getEdge, getEdge, getIn, getOut, getProblem, initializeVariables, initializeWorkList
getFixedPointSystem
addAllStatementsToWorkList, addToWorkList, changedVariable, emptyWorkList, getMaxEvalBetweenTopo, getMinSizeForTopSort, getNumberOfEvaluations, getPeriodicMaintainInterval, getStatements, getTopologicalGrowthFactor, getVerboseInterval, incNumberOfEvaluations, initForFirstSolve, isChanged, isFixed, isSideEffect, lineBreak, newStatement, newStatement, newStatement, newStatement, newStatement, orderStatements, performVerboseAction, periodicMaintenance, removeStatement, setMaxEvalBetweenTopo, setMinEquationsForTopSort, setTopologicalGrowthFactor, solve, toString
public BitVectorSolver(IKilldallFramework<T,BitVectorVariable> problem)
protected BitVectorVariable makeNodeVariable(T n, boolean IN)
makeNodeVariable
in class DataflowSolver<T,BitVectorVariable>
n
- a nodeprotected BitVectorVariable makeEdgeVariable(T src, T dst)
makeEdgeVariable
in class DataflowSolver<T,BitVectorVariable>
protected BitVectorVariable[] makeStmtRHS(int size)
makeStmtRHS
in class AbstractFixedPointSolver<BitVectorVariable>