Package org.tweetyproject.arg.bipolar.syntax

Class EAttack

java.lang.Object

org.tweetyproject.arg.bipolar.syntax.EAttack

All Implemented Interfaces:

Iterable<BArgument>, Attack, BipolarEntity, DungEntity, Formula, Node

public class EAttack
extends Object
implements Attack

Evidential attack used for PEAF and EAF

Author:

Taha Dogan Gunes

Constructor Summary

Constructors

Constructor	Description
EAttack(Set<BArgument> froms, Set<BArgument> tos)	The default constructor that creates EAttack object

Method Summary

Modifier and Type	Method	Description
boolean	contains(Object o)	Checks if this entity contains the specified object.
boolean	equals(Object o)
ArgumentSet	getAttacked()	Get the arguments that receive this attack
BipolarEntity	getAttacker()	Get the arguments that originate this attack
LdoFormula	getLdoFormula()	Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.
Signature	getSignature()	Returns the signature of the language of this formula.
int	hashCode()
Iterator<BArgument>	iterator()
String	toString()	Returns the attack object in string format for debug purposes

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Details

EAttack

public EAttack(Set<BArgument> froms,
 Set<BArgument> tos)

The default constructor that creates EAttack object

Parameters:

froms - the arguments that originate this attack

tos - the arguments that receive this attack

Method Details

getAttacker

public BipolarEntity getAttacker()

Get the arguments that originate this attack

Specified by:

getAttacker in interface Attack

Returns:

a set of arguments

getAttacked

public ArgumentSet getAttacked()

Get the arguments that receive this attack

Specified by:

getAttacked in interface Attack

Returns:

a set of arguments

toString

public String toString()

Returns the attack object in string format for debug purposes

Specified by:

toString in interface Attack

Overrides:

toString in class Object

Returns:

verbose format of the attack in string

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

contains

public boolean contains(Object o)

Description copied from interface: BipolarEntity

Checks if this entity contains the specified object.

Specified by:

contains in interface BipolarEntity

Parameters:

o - the object to check for containment, typically a BArgument

Returns:

true if the object is contained within this entity, false otherwise

getLdoFormula

public LdoFormula getLdoFormula()

Description copied from interface: DungEntity

Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf. [Hunter, Thimm, 2015])

Specified by:

getLdoFormula in interface DungEntity

Returns:

the logical formula of this entity.

getSignature

public Signature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Specified by:

getSignature in interface Formula

Returns:

the signature of the language of this formula.

iterator

public Iterator<BArgument> iterator()

Specified by:

iterator in interface Iterable<BArgument>