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

Class NegationAcceptanceCondition

java.lang.Object

org.tweetyproject.arg.adf.syntax.acc.NegationAcceptanceCondition

All Implemented Interfaces:

AcceptanceCondition

public final class NegationAcceptanceCondition
extends Object
implements AcceptanceCondition

NegationAcceptanceCondition class

Author:

Sebastian

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
NegationAcceptanceCondition(AcceptanceCondition child)

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.
boolean	equals(Object obj)
AcceptanceCondition	getChild()
Set<AcceptanceCondition>	getChildren()
int	hashCode()
String	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 Details

NegationAcceptanceCondition

public NegationAcceptanceCondition(AcceptanceCondition child)

Parameters:

child - the child of the negation

Method Details

getChild

public AcceptanceCondition getChild()

Returns:

the child

getChildren

public Set<AcceptanceCondition> getChildren()

Specified by:

getChildren in interface AcceptanceCondition

Returns:

an unmodifiable set of children

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.

Specified by:

accept in interface AcceptanceCondition

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

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object