Class DefaultFixedPointSolver<T extends IVariable<T>>

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<T>>
extends AbstractFixedPointSolver<T>

Default implementation of a fixed point solver.

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver

AbstractFixedPointSolver.Statement

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

Constructors

Constructor	Description
DefaultFixedPointSolver()
DefaultFixedPointSolver(int expectedOut)

Method Summary

Modifier and Type	Method	Description
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, makeStmtRHS, 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 Details

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 Details

getFixedPointSystem

public IFixedPointSystem<T> getFixedPointSystem()

Returns:

the set of statements solved by this IFixedPointSolver