public abstract class Constraint
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected Type |
actual |
protected Type |
formal |
protected InferenceSolver |
solver |
Constructor and Description |
---|
Constraint(Type actual,
Type formal,
InferenceSolver solver) |
Modifier and Type | Method and Description |
---|---|
Type |
actual() |
abstract boolean |
canSimplify() |
Type |
formal() |
abstract java.util.List<Constraint> |
simplify() |
InferenceSolver |
solver() |
protected Type actual
protected Type formal
protected InferenceSolver solver
public Constraint(Type actual, Type formal, InferenceSolver solver)
public abstract java.util.List<Constraint> simplify()
public abstract boolean canSimplify()
public Type actual()
public Type formal()
public InferenceSolver solver()