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 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