Package net.sf.tweety.arg.adf.syntax.acc
Class ImplicationAcceptanceCondition
- java.lang.Object
-
- net.sf.tweety.arg.adf.syntax.acc.AbstractAcceptanceCondition
-
- net.sf.tweety.arg.adf.syntax.acc.ImplicationAcceptanceCondition
-
- All Implemented Interfaces:
AcceptanceCondition
public final class ImplicationAcceptanceCondition 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 ImplicationAcceptanceCondition(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.boolean
equals(java.lang.Object obj)
AcceptanceCondition
getLeft()
java.lang.String
getName()
AcceptanceCondition
getRight()
int
hashCode()
-
Methods inherited from class net.sf.tweety.arg.adf.syntax.acc.AbstractAcceptanceCondition
getChildren, toString
-
Methods inherited from interface net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition
arguments, contains
-
-
-
-
Constructor Detail
-
ImplicationAcceptanceCondition
public ImplicationAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
- Parameters:
left
- the left side of the implicationright
- the right side of the implication
-
-
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()
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classAbstractAcceptanceCondition
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classAbstractAcceptanceCondition
-
-