|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<TransEvolpRuleType>
lp.unit.TransEvolpRuleType
public enum TransEvolpRuleType
Enumeration of types of rules in a normal logic program equivalent to an evolving logic program.
TransformedEvolp
,
EvolpProgram
Enum Constant Summary | |
---|---|
ASSERTABLE_RULE
Rule that can be asserted. |
|
CONSTRAINT
A constraint that discards superfluous models of the transformed program. |
|
DEFAULT_RULE
A rule with a default assumption. |
|
INTRO_REJECTION
Rule that, based on a rule of the original program, prevents other rules with an opposite head from being fired (rejects them). |
|
PROPAGATION_REJECTION
Rule that propagates the rejection to even less preferred rules. |
|
REWRITTEN_EVENT_RULE
Rewritten rule from one of the events. |
|
REWRITTEN_PROGRAM_RULE
Rewritten rule from the base evolving logic program. |
Field Summary | |
---|---|
private String |
label
A label for the rule type. |
Method Summary | |
---|---|
String |
toString()
Returns a short description of the rule type. |
static TransEvolpRuleType |
valueOf(String name)
Returns the enum constant of this type with the specified name. |
static TransEvolpRuleType[] |
values()
Returns an array containing the constants of this enum type, in the order they're declared. |
Methods inherited from class java.lang.Enum |
---|
clone, compareTo, equals, getDeclaringClass, hashCode, name, ordinal, valueOf |
Methods inherited from class java.lang.Object |
---|
finalize, getClass, notify, notifyAll, wait, wait, wait |
Enum Constant Detail |
---|
public static final TransEvolpRuleType REWRITTEN_PROGRAM_RULE
public static final TransEvolpRuleType REWRITTEN_EVENT_RULE
public static final TransEvolpRuleType ASSERTABLE_RULE
public static final TransEvolpRuleType INTRO_REJECTION
public static final TransEvolpRuleType PROPAGATION_REJECTION
public static final TransEvolpRuleType DEFAULT_RULE
public static final TransEvolpRuleType CONSTRAINT
Field Detail |
---|
private final String label
Method Detail |
---|
public static final TransEvolpRuleType[] values()
for(TransEvolpRuleType c : TransEvolpRuleType.values()) System.out.println(c);
public static TransEvolpRuleType valueOf(String name)
name
- the name of the enum constant to be returned.
IllegalArgumentException
- if this enum type has no constant
with the specified namepublic String toString()
toString
in class Enum<TransEvolpRuleType>
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |