Enum PropagationRankingReasoner.PropagationSemantics

java.lang.Object
java.lang.Enum<PropagationRankingReasoner.PropagationSemantics>
org.tweetyproject.arg.rankings.reasoner.PropagationRankingReasoner.PropagationSemantics
All Implemented Interfaces:
Serializable, Comparable<PropagationRankingReasoner.PropagationSemantics>, Constable
Enclosing class:
PropagationRankingReasoner

public static enum PropagationRankingReasoner.PropagationSemantics extends Enum<PropagationRankingReasoner.PropagationSemantics>
The three propagation semantics:
  1. PROPAGATION1 ("Propa_epsilon")
  2. PROPAGATION2 ("Propa_{1+epsilon}")
  3. PROPAGATION3 ("Propa_{1->epsilon}")