Package com.ibm.wala.fixpoint
Interface IFixedPointSolver<T extends IVariable>
-
- All Known Implementing Classes:
AbstractFixedPointSolver
,AstTypeInference
,BitVectorSolver
,BooleanSolver
,DataflowSolver
,DefaultFixedPointSolver
,PropagationSystem
,SSAInference
,TypeInference
public interface IFixedPointSolver<T extends IVariable>
Solves a set of constraints
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method 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
-
-