Package net.sf.tweety.arg.aba.semantics

Class AbaAttack<T extends Formula>

java.lang.Object

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

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

net.sf.tweety.arg.dung.syntax.Attack

net.sf.tweety.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> java.util.Collection<AbaAttack<T>>	allAttacks(java.util.Collection<Assumption<T>> from, java.util.Collection<Assumption<T>> to, AbaTheory<T> abat)	Returns all attacks from the given attacking set to the given attacked set.
static <T extends Formula> java.util.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)

Methods inherited from class net.sf.tweety.arg.dung.syntax.Attack

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

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

getNodeA, getNodeB

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

AbaAttack

public AbaAttack(Argument attacker,
                 Argument attacked)

Creates a new ABA attack

Parameters:

attacker - the attacking argument

attacked - the attacked argument

Method Detail

attacks

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

Parameters:

attacker - the attacking argument

attacked - the attacked argument

Returns:

true iff attacker attacks attacked

allAttacks

public static <T extends Formula> java.util.Collection<AbaAttack<T>> allAttacks(java.util.Collection<Assumption<T>> from,
                                                                                java.util.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> java.util.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