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
- Author:
- Nils Geilen (geilenn@uni-koblenz.de)
-
-
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)
static <T extends Formula>
java.util.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
-
-
-
-
Method Detail
-
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)
- Type Parameters:
T
- the type of formulas- Parameters:
from
- the attacking setto
- the attacked setabat
- the ABA theory used to determine attacks- Returns:
- the set of attacks from the attacking set to the attacked set
-
-