public final class Pair
extends java.lang.Object
implements java.io.Serializable
Modifier and Type | Field and Description |
---|---|
int |
backtrackLevel |
Constr |
reason |
Constructor and Description |
---|
Pair() |
public int backtrackLevel
public Constr reason