com.ibm.wala.fixedpoint.impl

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

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 and Description
DefaultFixedPointSolver()
DefaultFixedPointSolver(int expectedOut)

Method Summary

Modifier and Type	Method and 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 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