Package net.sf.tweety.arg.adf.syntax.acc
Class ExclusiveDisjunctionAcceptanceCondition
- java.lang.Object
-
- net.sf.tweety.arg.adf.syntax.acc.AbstractAcceptanceCondition
-
- net.sf.tweety.arg.adf.syntax.acc.ExclusiveDisjunctionAcceptanceCondition
-
- All Implemented Interfaces:
AcceptanceCondition
public final class ExclusiveDisjunctionAcceptanceCondition extends AbstractAcceptanceCondition
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition
AcceptanceCondition.Builder
-
-
Field Summary
-
Fields inherited from interface net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition
CONTRADICTION, TAUTOLOGY
-
-
Constructor Summary
Constructors Constructor Description ExclusiveDisjunctionAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
-
Method Summary
Modifier and Type Method Description <U,D>
Uaccept(Visitor<U,D> visitor, D topDownData)
Passes the topDownData to the right visit method and returns the result of the visit method, performs no modifications on them.AcceptanceCondition
getLeft()
java.lang.String
getName()
AcceptanceCondition
getRight()
-
Methods inherited from class net.sf.tweety.arg.adf.syntax.acc.AbstractAcceptanceCondition
equals, getChildren, hashCode, toString
-
Methods inherited from interface net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition
arguments, contains
-
-
-
-
Constructor Detail
-
ExclusiveDisjunctionAcceptanceCondition
public ExclusiveDisjunctionAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
- Parameters:
left
- the left side of the xorright
- the right side of the xor
-
-
Method Detail
-
getLeft
public AcceptanceCondition getLeft()
- Returns:
- the left
-
getRight
public AcceptanceCondition getRight()
- Returns:
- the right
-
accept
public <U,D> U accept(Visitor<U,D> visitor, D topDownData)
Description copied from interface:AcceptanceCondition
Passes the topDownData to the right visit method and returns the result of the visit method, performs no modifications on them.This allows for type-safe traversal through the acceptance condition structure.
- Type Parameters:
U
- the bottom-up dataD
- the top-down data- Parameters:
visitor
- the visitortopDownData
- the data which is passed from the root of the acceptance condition to the leaf- Returns:
- the result of the visit method
-
getName
public java.lang.String getName()
-
-