C# Class Purity.Compiler.Typechecker.Utilities.ConstraintSolver

Mostra file Open project: paf31/Purity

Public Methods

Method Description
ReplaceUnknownsWithTypeParameters ( this solutionSet, int maximalIndex ) : void
Solve ( this constraints, int maximalIndex ) : SolutionSet

Method Details

ReplaceUnknownsWithTypeParameters() public static method

public static ReplaceUnknownsWithTypeParameters ( this solutionSet, int maximalIndex ) : void
solutionSet this
maximalIndex int
return void

Solve() public static method

public static Solve ( this constraints, int maximalIndex ) : SolutionSet
constraints this
maximalIndex int
return Purity.Compiler.Typechecker.Classes.SolutionSet