public class BooleanSolver<T> extends DataflowSolver<T,BooleanVariable>
DataflowSolver
specialized for BooleanVariable
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 |
---|
BooleanSolver(IKilldallFramework<T,BooleanVariable> problem) |
Modifier and Type | Method and Description |
---|---|
protected BooleanVariable |
makeEdgeVariable(T src,
T dst) |
protected BooleanVariable |
makeNodeVariable(T n,
boolean IN) |
protected BooleanVariable[] |
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 BooleanSolver(IKilldallFramework<T,BooleanVariable> problem)
protected BooleanVariable makeNodeVariable(T n, boolean IN)
makeNodeVariable
in class DataflowSolver<T,BooleanVariable>
n
- a nodeprotected BooleanVariable makeEdgeVariable(T src, T dst)
makeEdgeVariable
in class DataflowSolver<T,BooleanVariable>
protected BooleanVariable[] makeStmtRHS(int size)
makeStmtRHS
in class AbstractFixedPointSolver<BooleanVariable>