Enum PropagationRankingReasoner.PropagationSemantics
- java.lang.Object
-
- java.lang.Enum<PropagationRankingReasoner.PropagationSemantics>
-
- net.sf.tweety.arg.rankings.reasoner.PropagationRankingReasoner.PropagationSemantics
-
- All Implemented Interfaces:
java.io.Serializable
,java.lang.Comparable<PropagationRankingReasoner.PropagationSemantics>
,java.lang.constant.Constable
- Enclosing class:
- PropagationRankingReasoner
public static enum PropagationRankingReasoner.PropagationSemantics extends java.lang.Enum<PropagationRankingReasoner.PropagationSemantics>
The three propagation semantics:- PROPAGATION1 ("Propa_epsilon")
- PROPAGATION2 ("Propa_{1+epsilon}")
- PROPAGATION3 ("Propa_{1->epsilon}")
-
-
Enum Constant Summary
Enum Constants Enum Constant Description PROPAGATION1
PROPAGATION2
PROPAGATION3
-
Method Summary
Modifier and Type Method Description static PropagationRankingReasoner.PropagationSemantics
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.static PropagationRankingReasoner.PropagationSemantics[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
PROPAGATION1
public static final PropagationRankingReasoner.PropagationSemantics PROPAGATION1
-
PROPAGATION2
public static final PropagationRankingReasoner.PropagationSemantics PROPAGATION2
-
PROPAGATION3
public static final PropagationRankingReasoner.PropagationSemantics PROPAGATION3
-
-
Method Detail
-
values
public static PropagationRankingReasoner.PropagationSemantics[] values()
Returns an array containing the constants of this enum type, in the order they are declared.- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static PropagationRankingReasoner.PropagationSemantics valueOf(java.lang.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:
java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is null
-
-