Package org.tweetyproject.arg.aba.semantics

Class AbaAttack<T extends Formula>

java.lang.Object

org.tweetyproject.graphs.GeneralEdge<Argument>

org.tweetyproject.graphs.Edge<Argument>

org.tweetyproject.graphs.DirectedEdge<Argument>

org.tweetyproject.arg.dung.syntax.Attack

org.tweetyproject.arg.aba.semantics.AbaAttack<T>

Type Parameters:

T - is the type of the language that the ABA theory's rules range over

All Implemented Interfaces:

DungEntity, Formula

public class AbaAttack<T extends Formula>
extends Attack

This class models an ABA attack.

Author:

Nils Geilen (geilenn@uni-koblenz.de)

Constructor Summary

Constructors

Constructor	Description
AbaAttack(Argument attacker, Argument attacked)	Creates a new ABA attack

Method Summary

Modifier and Type	Method	Description
static <T extends Formula> Collection<AbaAttack<T>>	allAttacks(Collection<Assumption<T>> from, Collection<Assumption<T>> to, AbaTheory<T> abat)	Returns all attacks from the given attacking set to the given attacked set.
static <T extends Formula> Collection<AbaAttack<T>>	allAttacks(AbaTheory<T> abat)	Returns all attacks between arguments in the given AbaTheory.
static <T extends Invertable> boolean	attacks(Deduction<T> attacker, Assumption<T> attacked)	True iff attacker attacks attacked

Methods inherited from class org.tweetyproject.arg.dung.syntax.Attack

contains, equals, getAttacked, getAttacker, getLdoFormula, getSignature, hashCode, isConflictFree, toString

Methods inherited from class org.tweetyproject.graphs.Edge

getLabel, getNodeA, getNodeB

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

AbaAttack

public AbaAttack(Argument attacker,
 Argument attacked)

Creates a new ABA attack

Parameters:

attacker - the attacking argument

attacked - the attacked argument

Method Details

attacks

public static <T extends Invertable> boolean attacks(Deduction<T> attacker,
 Assumption<T> attacked)

True iff attacker attacks attacked

Type Parameters:

T - type

Parameters:

attacker - the attacking argument

attacked - the attacked argument

Returns:

true iff attacker attacks attacked

allAttacks

public static <T extends Formula>
Collection<AbaAttack<T>> allAttacks(Collection<Assumption<T>> from,
 Collection<Assumption<T>> to,
 AbaTheory<T> abat)

Returns all attacks from the given attacking set to the given attacked set.

Type Parameters:

T - the type of formulas

Parameters:

from - the attacking set

to - the attacked set

abat - the ABA theory used to determine attacks

Returns:

the set of attacks from the attacking set to the attacked set

allAttacks

public static <T extends Formula>
Collection<AbaAttack<T>> allAttacks(AbaTheory<T> abat)

Returns all attacks between arguments in the given AbaTheory.

Type Parameters:

T - the type of formulas

Parameters:

abat - the ABA theory used to determine attacks

Returns:

all attacks between arguments in abat