Package net.sf.tweety.arg.bipolar.syntax

Class SetAttack

java.lang.Object

net.sf.tweety.graphs.Edge<T>

net.sf.tweety.graphs.DirectedEdge<BipolarEntity>

net.sf.tweety.arg.bipolar.syntax.SetAttack

All Implemented Interfaces:

Attack, BipolarEntity, net.sf.tweety.arg.dung.syntax.DungEntity, net.sf.tweety.commons.Formula, net.sf.tweety.graphs.Node

public class SetAttack
extends net.sf.tweety.graphs.DirectedEdge<BipolarEntity>
implements Attack

This class models an attack between a set of arguments and an argument. It comprises of a set of BArgument and is used by bipolar abstract argumentation theories.

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
SetAttack(Collection<BArgument> supporter, BArgument supported)	initializes the arguments used in this attack relation
SetAttack(ArgumentSet supporter, BArgument supported)	Default constructor; initializes the arguments used in this attack relation
SetAttack(BArgument supporter, BArgument supported)	initializes the arguments used in this attack relation

Method Summary

Modifier and Type	Method	Description
boolean	contains(Object o)
boolean	equals(Object o)
BArgument	getAttacked()	returns the attacked argument of this attack relation.
ArgumentSet	getAttacker()	returns the attacking set of arguments of this attack relation.
net.sf.tweety.arg.dung.ldo.syntax.LdoFormula	getLdoFormula()
net.sf.tweety.commons.Signature	getSignature()
int	hashCode()
String	toString()

Methods inherited from class net.sf.tweety.graphs.Edge

getNodeA, getNodeB

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SetAttack

public SetAttack(ArgumentSet supporter,
                 BArgument supported)

Default constructor; initializes the arguments used in this attack relation

Parameters:

supporter - the attacking set of arguments

supported - the attacked argument

SetAttack

public SetAttack(Collection<BArgument> supporter,
                 BArgument supported)

initializes the arguments used in this attack relation

Parameters:

supporter - a collection of attacking arguments arguments

supported - the attacked argument

SetAttack

public SetAttack(BArgument supporter,
                 BArgument supported)

initializes the arguments used in this attack relation

Parameters:

supporter - the attacking argument

supported - the attacked argument

Method Detail

getAttacked

public BArgument getAttacked()

returns the attacked argument of this attack relation.

Specified by:

getAttacked in interface Attack

Returns:

the attacked argument of this attack relation.

getAttacker

public ArgumentSet getAttacker()

returns the attacking set of arguments of this attack relation.

Specified by:

getAttacker in interface Attack

Returns:

the attacking set of arguments of this attack relation.

toString

public String toString()

Specified by:

toString in interface Attack

Overrides:

toString in class net.sf.tweety.graphs.DirectedEdge<BipolarEntity>

equals

public boolean equals(Object o)

Overrides:

equals in class net.sf.tweety.graphs.Edge<BipolarEntity>

hashCode

public int hashCode()

Overrides:

hashCode in class net.sf.tweety.graphs.Edge<BipolarEntity>

contains

public boolean contains(Object o)

Specified by:

contains in interface BipolarEntity

getLdoFormula

public net.sf.tweety.arg.dung.ldo.syntax.LdoFormula getLdoFormula()

Specified by:

getLdoFormula in interface net.sf.tweety.arg.dung.syntax.DungEntity

getSignature

public net.sf.tweety.commons.Signature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.Formula