Package net.sf.tweety.arg.adf.syntax.acc
Class EquivalenceAcceptanceCondition
- java.lang.Object
-
- net.sf.tweety.arg.adf.syntax.acc.AbstractAcceptanceCondition
-
- net.sf.tweety.arg.adf.syntax.acc.EquivalenceAcceptanceCondition
-
- All Implemented Interfaces:
AcceptanceCondition
public final class EquivalenceAcceptanceCondition 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 EquivalenceAcceptanceCondition(java.util.Collection<AcceptanceCondition> children)
Asserts all children to be pairwise equivalent.EquivalenceAcceptanceCondition(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
-
EquivalenceAcceptanceCondition
public EquivalenceAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
- Parameters:
left
- the left side of the equivalenceright
- the right side of the equivalence
-
EquivalenceAcceptanceCondition
public EquivalenceAcceptanceCondition(java.util.Collection<AcceptanceCondition> children)
Asserts all children to be pairwise equivalent.- Parameters:
children
- the children of the equivalence
-
-
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()
-
-