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

Class ABAAttack<T extends net.sf.tweety.commons.Formula>

java.lang.Object

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

net.sf.tweety.graphs.DirectedEdge<net.sf.tweety.arg.dung.syntax.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:

net.sf.tweety.arg.dung.syntax.DungEntity, net.sf.tweety.commons.Formula

public class ABAAttack<T extends net.sf.tweety.commons.Formula>
extends net.sf.tweety.arg.dung.syntax.Attack

Author:

Nils Geilen (geilenn@uni-koblenz.de)

Constructor Summary

Constructors

Constructor	Description
ABAAttack(net.sf.tweety.arg.dung.syntax.Argument attacker, net.sf.tweety.arg.dung.syntax.Argument attacked)	Creates a new ABA attack

Method Summary

Modifier and Type	Method	Description
static <T extends net.sf.tweety.commons.Formula> Collection<ABAAttack<T>>	allAttacks(Collection<Assumption<T>> from, Collection<Assumption<T>> to, ABATheory<T> abat)
static <T extends net.sf.tweety.commons.Formula> Collection<ABAAttack<T>>	allAttacks(ABATheory<T> abat)

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

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

Constructor Detail

ABAAttack

public ABAAttack(net.sf.tweety.arg.dung.syntax.Argument attacker,
                 net.sf.tweety.arg.dung.syntax.Argument attacked)

Creates a new ABA attack

Parameters:

attacker - the attacking argument

attacked - the attacked argument

Method Detail

allAttacks

public static <T extends net.sf.tweety.commons.Formula> Collection<ABAAttack<T>> allAttacks(Collection<Assumption<T>> from,
                                                                                            Collection<Assumption<T>> to,
                                                                                            ABATheory<T> abat)

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 net.sf.tweety.commons.Formula> Collection<ABAAttack<T>> allAttacks(ABATheory<T> abat)

Type Parameters:

T - the type of formulas

Parameters:

abat - the ABA theory used to determine attacks

Returns:

all attacks between arguments in abat