|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Solver
A solver of Jif constraints.
Method Summary | |
---|---|
void |
addConstraint(Constraint 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 |
---|
void addConstraint(Constraint c) throws polyglot.types.SemanticException
polyglot.types.SemanticException
VarMap solve() throws polyglot.types.SemanticException
polyglot.types.SemanticException
- if the Solver cannot find a solution to the
system of contraints.Label applyBoundsTo(Label L)
L
-
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |