csolve: Solve a List of Constraints

Description Usage Arguments Value Methods (by class) References

Description

This function solves a list of constraints.

Usage

1
2
3
4
csolve(x, ...)

## S4 method for signature 'list'
csolve(x, counter, max_deferred = 1000L, ...)

Arguments

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.

Value

The solution to the supplied constraints as a Substitution object.

Methods (by class)

References

Heeren, Hage, and Swierstra (2002). Generalizing Hindley-Milner Type Inference Algorithms.


nick-ulle/typesys documentation built on Jan. 21, 2020, 5:13 p.m.