com.ibm.wala.fixpoint

Interface IFixedPointSolver<T extends IVariable<T>>

All Known Implementing Classes:

AbstractFixedPointSolver, BitVectorSolver, BooleanSolver, DataflowSolver, DefaultFixedPointSolver

public interface IFixedPointSolver<T extends IVariable<T>>

Solves a set of constraints

Method Summary

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

Method Detail

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