Package | Description |
---|---|
net.sf.tweety.arg.aba.semantics |
Modifier and Type | Method and Description |
---|---|
static <T extends Formula> |
ABAAttack.allAttacks(ABATheory<T> abat) |
static <T extends Formula> |
ABAAttack.allAttacks(java.util.Collection<Assumption<T>> from,
java.util.Collection<Assumption<T>> to,
ABATheory<T> abat) |