Package com.ibm.wala.fixpoint

Interface IFixedPointSolver<T extends IVariable<T>>

All Known Implementing Classes:

AbstractFixedPointSolver, AstJavaTypeInference, AstTypeInference, BitVectorSolver, BooleanSolver, DalvikTypeInference, DataflowSolver, DefaultFixedPointSolver, InitializedBitVectorSolver, JSTypeInference, NullPointerSolver, PropagationSystem, SSAInference, TypeInference

public interface IFixedPointSolver<T extends IVariable<T>>

Solves a set of constraints

Method Summary

Modifier and Type	Method	Description
IFixedPointSystem<T>	getFixedPointSystem()
boolean	solve(MonitorUtil.IProgressMonitor monitor)	Solve the problem.

Method Details

getFixedPointSystem

IFixedPointSystem<T> getFixedPointSystem()

Returns:

the set of statements solved by this IFixedPointSolver

solve

boolean solve(MonitorUtil.IProgressMonitor monitor)
       throws CancelException

Solve the problem.

PRECONDITION: graph is set up

Returns:

true iff the evaluation of some constraint caused a change in the value of some variable.

Throws:

CancelException