Description Usage Arguments Value Methods (by class) References
This function solves a list of constraints.
1 2 3 4 |
x |
An object that contains a list of constraints to solve. |
... |
Additional arguments to methods. |
counter |
(Counter) A Counter for generating new variables. |
max_deferred |
(integer) Maximum number of times the solver can defer constraints before concluding the system has no solutions. |
The solution to the supplied constraints as a Substitution object.
list
: Solve a list of constraints.
Heeren, Hage, and Swierstra (2002). Generalizing Hindley-Milner Type Inference Algorithms.
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.