Package org.tweetyproject.arg.adf.syntax.acc

Class EquivalenceAcceptanceCondition

java.lang.Object

org.tweetyproject.arg.adf.syntax.acc.AbstractAcceptanceCondition

org.tweetyproject.arg.adf.syntax.acc.EquivalenceAcceptanceCondition

All Implemented Interfaces:

AcceptanceCondition

public final class EquivalenceAcceptanceCondition
extends AbstractAcceptanceCondition

Nested Class Summary

Nested classes/interfaces inherited from interface org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition

AcceptanceCondition.Builder

Field Summary

Fields inherited from interface org.tweetyproject.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

Modifier and Type	Method	Description
<U,D> U	accept(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.
java.lang.String	getName()

Methods inherited from class org.tweetyproject.arg.adf.syntax.acc.AbstractAcceptanceCondition

equals, getChildren, hashCode, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition

arguments, contains

Constructor Detail

EquivalenceAcceptanceCondition

public EquivalenceAcceptanceCondition(AcceptanceCondition left,
                                      AcceptanceCondition right)

Parameters:

left - the left side of the equivalence

right - 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 data

D - the top-down data

Parameters:

visitor - the visitor

topDownData - 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()