T
- is the type of the language that the ABA theory's rules range overpublic class ABAAttack<T extends Formula> extends Attack
Constructor and Description |
---|
ABAAttack(Argument attacker,
Argument attacked)
Creates a new ABA attack
|
Modifier and Type | Method and Description |
---|---|
static <T extends Formula> |
allAttacks(ABATheory<T> abat) |
static <T extends Formula> |
allAttacks(java.util.Collection<Assumption<T>> from,
java.util.Collection<Assumption<T>> to,
ABATheory<T> abat) |
contains, equals, getAttacked, getAttacker, getLdoFormula, getSignature, hashCode, isConflictFree, toString
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)
from
- the attacking setto
- the attacked setabat
- the ABA theory used to determine attacks