public class UnifySubst
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static UnifySubst |
EMPTY_LIST |
static UnifySubst |
IMPOSSIBLE |
Constructor and Description |
---|
UnifySubst() |
UnifySubst(VarHyp fromHyp,
ParseNode toNode) |
UnifySubst(VarHyp fromHyp,
ParseNode toNode,
boolean generatedDuringAccum) |
Modifier and Type | Method and Description |
---|---|
UnifySubst |
insert(UnifySubst last) |
public static UnifySubst IMPOSSIBLE
public static UnifySubst EMPTY_LIST
public UnifySubst insert(UnifySubst last)