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

Class BinaryAcceptanceCondition

java.lang.Object

org.tweetyproject.arg.adf.syntax.acc.BinaryAcceptanceCondition

All Implemented Interfaces:

AcceptanceCondition

Direct Known Subclasses:

ConjunctionAcceptanceCondition, DisjunctionAcceptanceCondition, EquivalenceAcceptanceCondition, ExclusiveDisjunctionAcceptanceCondition, ImplicationAcceptanceCondition

public abstract class BinaryAcceptanceCondition
extends Object
implements AcceptanceCondition

Base class for acceptance conditions with two children.

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
BinaryAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)	Creates a new binary acceptance condition.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
Set<AcceptanceCondition>	getChildren()	Returns the children of this acceptance condition
AcceptanceCondition	getLeft()	Returns the left child acceptance condition.
AcceptanceCondition	getRight()	Returns the right child acceptance condition.
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

accept, arguments, contains

Constructor Details

BinaryAcceptanceCondition

public BinaryAcceptanceCondition(AcceptanceCondition left,
 AcceptanceCondition right)

Creates a new binary acceptance condition.

Parameters:

left - the left child acceptance condition

right - the right child acceptance condition

Method Details

getChildren

public Set<AcceptanceCondition> getChildren()

Description copied from interface: AcceptanceCondition

Returns the children of this acceptance condition

Specified by:

getChildren in interface AcceptanceCondition

Returns:

an unmodifiable set of children

getLeft

public AcceptanceCondition getLeft()

Returns the left child acceptance condition.

Returns:

the left child acceptance condition

getRight

public AcceptanceCondition getRight()

Returns the right child acceptance condition.

Returns:

the right child acceptance condition

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