Package net.sf.tweety.arg.adf.syntax.acc
Class NegationAcceptanceCondition
- java.lang.Object
-
- net.sf.tweety.arg.adf.syntax.acc.AbstractAcceptanceCondition
-
- net.sf.tweety.arg.adf.syntax.acc.NegationAcceptanceCondition
-
- All Implemented Interfaces:
AcceptanceCondition
public final class NegationAcceptanceCondition 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 NegationAcceptanceCondition(AcceptanceCondition child)
-
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
getChild()
java.lang.String
getName()
-
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
-
NegationAcceptanceCondition
public NegationAcceptanceCondition(AcceptanceCondition child)
- Parameters:
child
- the child of the negation
-
-
Method Detail
-
getChild
public AcceptanceCondition getChild()
- Returns:
- the child
-
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()
-
-