public interface Solver
Modifier and Type | Method and Description |
---|---|
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.
|
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.