public enum RuleType extends java.lang.Enum<RuleType>
Enum Constant and Description |
---|
BRANCH_EXISTS
Is the type of a rule implementing
_BranchExistsRule . |
CLASH_DETECTION_RULE
Is the type of a rule implementing
_ClashDetectionRule . |
FORCE_BRANCH_FAILURE
Is the type of
ForceBranchFailure rule which forces branch failure
and backtrack-point search. |
FORCE_BRANCH_SUCCESS
Is the type of the
ForceBranchSuccess rule which forces branch
success and branch-point search. |
META_BACKTRACK_RULE
Is the type of a rule implementing
_MetaBacktrackRule . |
REGULAR
Is the type of a rule implementing
_RegularRule . |
Modifier and Type | Method and Description |
---|---|
static RuleType |
getType(_AbstractRule ruleToApply)
Returns the type of the specified rule.
|
static RuleType |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static RuleType[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final RuleType BRANCH_EXISTS
_BranchExistsRule
.public static final RuleType CLASH_DETECTION_RULE
_ClashDetectionRule
.public static final RuleType META_BACKTRACK_RULE
_MetaBacktrackRule
.public static final RuleType REGULAR
_RegularRule
.public static final RuleType FORCE_BRANCH_FAILURE
ForceBranchFailure
rule which forces branch failure
and backtrack-point search.public static final RuleType FORCE_BRANCH_SUCCESS
ForceBranchSuccess
rule which forces branch
success and branch-point search.public static RuleType[] values()
for (RuleType c : RuleType.values()) System.out.println(c);
public static RuleType 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 nullpublic static RuleType getType(_AbstractRule ruleToApply)
ruleToApply
- the rule.