lp.unit
Enum TransDlpRuleType

java.lang.Object
  extended by java.lang.Enum<TransDlpRuleType>
      extended by lp.unit.TransDlpRuleType
All Implemented Interfaces:
Serializable, Comparable<TransDlpRuleType>

public enum TransDlpRuleType
extends Enum<TransDlpRuleType>

Enumeration of types of rules in a normal logic program equivalent to a dynamic logic program.

Version:
1.0.0
Author:
Martin Slota
See Also:
TransformedDlp, DynamicLogicProgram

Enum Constant Summary
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_RULE
          Rewritten rule from one of the original programs.
 
Field Summary
private  String label
          A label for the rule type.
 
Method Summary
 String toString()
          Returns a short description of the rule type.
static TransDlpRuleType valueOf(String name)
          Returns the enum constant of this type with the specified name.
static TransDlpRuleType[] 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

REWRITTEN_RULE

public static final TransDlpRuleType REWRITTEN_RULE
Rewritten rule from one of the original programs.


INTRO_REJECTION

public static final TransDlpRuleType 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

public static final TransDlpRuleType PROPAGATION_REJECTION
Rule that propagates the rejection to even less preferred rules.


DEFAULT_RULE

public static final TransDlpRuleType DEFAULT_RULE
A rule with a default assumption.


CONSTRAINT

public static final TransDlpRuleType CONSTRAINT
A constraint that discards superfluous models of the transformed program.

Field Detail

label

private final String label
A label for the rule type.

Method Detail

values

public static final TransDlpRuleType[] values()
Returns an array containing the constants of this enum type, in the order they're declared. This method may be used to iterate over the constants as follows:
for(TransDlpRuleType c : TransDlpRuleType.values())
        System.out.println(c);

Returns:
an array containing the constants of this enum type, in the order they're declared

valueOf

public static TransDlpRuleType valueOf(String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:
name - the name of the enum constant to be returned.
Returns:
the enum constant with the specified name
Throws:
IllegalArgumentException - if this enum type has no constant with the specified name

toString

public String toString()
Returns a short description of the rule type.

Overrides:
toString in class Enum<TransDlpRuleType>
Returns:
as specified above