csolve: Solve a List of Constraints

In nick-ulle/typesys: General-purpose Abstract Type System

Description

This function solves a list of constraints.

Usage

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)

• list: Solve a list of constraints.

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.