com.ibm.wala.fixedpoint.impl
Class DefaultFixedPointSolver<T extends IVariable>

java.lang.Object
  com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<T>
      com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver<T>

All Implemented Interfaces:

FixedPointConstants, IFixedPointSolver<T>, VerboseAction

Direct Known Subclasses:

DataflowSolver, PropagationSystem, SSAInference

public abstract class DefaultFixedPointSolver<T extends IVariable>
extends AbstractFixedPointSolver<T>

Default implementation of a fixed point solver.

Field Summary

Fields inherited from class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver

DEFAULT_PERIODIC_MAINTENANCE_INTERVAL, DEFAULT_VERBOSE_INTERVAL, verbose, workList

Fields inherited from interface com.ibm.wala.fixpoint.FixedPointConstants

CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK

Constructor Summary

DefaultFixedPointSolver()

DefaultFixedPointSolver(int expectedOut)

Method Summary

IFixedPointSystem<T>

getFixedPointSystem()

Methods inherited from class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver

addAllStatementsToWorkList, addToWorkList, changedVariable, emptyWorkList, getMaxEvalBetweenTopo, getMinSizeForTopSort, getNumberOfEvaluations, getPeriodicMaintainInterval, getStatements, getTopologicalGrowthFactor, getVerboseInterval, incNumberOfEvaluations, initForFirstSolve, initializeVariables, initializeWorkList, isChanged, isFixed, isSideEffect, lineBreak, newStatement, newStatement, newStatement, newStatement, newStatement, orderStatements, performVerboseAction, periodicMaintenance, removeStatement, setMaxEvalBetweenTopo, setMinEquationsForTopSort, setTopologicalGrowthFactor, solve, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DefaultFixedPointSolver

public DefaultFixedPointSolver(int expectedOut)

Parameters:

expectedOut - number of expected out edges in the "usual" case for constraints .. used to tune graph representation

DefaultFixedPointSolver

public DefaultFixedPointSolver()

Method Detail

getFixedPointSystem

public IFixedPointSystem<T> getFixedPointSystem()

Returns:

the set of statements solved by this IFixedPointSolver