public static enum PaConstants.UnificationStatus extends java.lang.Enum<PaConstants.UnificationStatus>
Enum Constant and Description |
---|
AttemptCancelled
Attempt cancelled: unification could not be performed but we didn't
find out until derivStepFormula or derivStepHyp was performed for the
step or one of its hyps; incomplete formulas prevent unification
attempts!
|
NotUnified
Not unified: this is the default and will be the final result if
unification is not even attempted (perhaps due to hypFldIncomplete).
|
UnificationError
Unification error: signifies that unification failed; either the
input Ref was wrong, or the unification search did not find a match.
|
Unified
Unified: good to go for proof building attempt.
|
UnifiedWIncompleteHyps
Unified but incomplete hyps: signifies that one or more hypotheses
used were not successfully unified or are missing
|
UnifiedWWorkVars
Unified but work vars: signifies that work vars are present in the
step formula or the step hypotheses.
|
Modifier and Type | Field and Description |
---|---|
boolean |
proper |
Modifier and Type | Method and Description |
---|---|
static PaConstants.UnificationStatus |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static PaConstants.UnificationStatus[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final PaConstants.UnificationStatus NotUnified
public static final PaConstants.UnificationStatus UnificationError
public static final PaConstants.UnificationStatus AttemptCancelled
public static final PaConstants.UnificationStatus UnifiedWIncompleteHyps
public static final PaConstants.UnificationStatus UnifiedWWorkVars
public static final PaConstants.UnificationStatus Unified
public static PaConstants.UnificationStatus[] values()
for (PaConstants.UnificationStatus c : PaConstants.UnificationStatus.values()) System.out.println(c);
public static PaConstants.UnificationStatus valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is null