Package net.sf.tweety.arg.adf.syntax.acc
Class DisjunctionAcceptanceCondition
- java.lang.Object
-
- net.sf.tweety.arg.adf.syntax.acc.AbstractAcceptanceCondition
-
- net.sf.tweety.arg.adf.syntax.acc.DisjunctionAcceptanceCondition
-
- All Implemented Interfaces:
AcceptanceCondition
public final class DisjunctionAcceptanceCondition 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 DisjunctionAcceptanceCondition(java.util.Collection<AcceptanceCondition> children)
DisjunctionAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
-
Method Summary
-
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
-
DisjunctionAcceptanceCondition
public DisjunctionAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
- Parameters:
left
- the left side of the disjunctionright
- the right side of the disjunction
-
DisjunctionAcceptanceCondition
public DisjunctionAcceptanceCondition(java.util.Collection<AcceptanceCondition> children)
- Parameters:
children
- the children of the disjunction
-
-
Method Detail
-
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()
-
-