Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## jif.types
Interface Solver

All Known Implementing Classes:
  AbstractSolver, SolverGLB

    public interface Solver

A solver of Jif constraints.

Method Summary
`void` | `addConstraint(LabelConstraint c)` Add the constraint c to the system
`Label` | `applyBoundsTo(Label L)` Substitute variables in L with the solution for the variables.
`VarMap` | `solve()` Solve the system of constraints.

Method Detail

### addConstraint

    void addConstraint(LabelConstraint c)
                       throws polyglot.types.SemanticException

  Add the constraint c to the system

  Throws:
    `polyglot.types.SemanticException`

### solve

    VarMap solve()
                 throws polyglot.types.SemanticException

  Solve the system of constraints.

  Throws:
    `polyglot.types.SemanticException` - if the Solver cannot find a solution to the system of contraints.

### applyBoundsTo

    Label applyBoundsTo(Label L)

  Substitute variables in L with the solution for the variables. Should only be called after solve() has been called successfully.

  Parameters:
    `L` -
  Returns:
    L with variables replaced appropriately according to the solution.

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD