IFixedPointSolver (util 1.6.2 API)

All Known Implementing Classes:

AbstractFixedPointSolver, BitVectorSolver, BooleanSolver, DataflowSolver, DefaultFixedPointSolver
```
public interface IFixedPointSolver<T extends IVariable<T>>
```
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