NegationAcceptanceCondition

java.lang.Object

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

All Implemented Interfaces:: AcceptanceCondition

public final class NegationAcceptanceCondition extends Object implements AcceptanceCondition

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