- <init>
Creates a new theory from the given graph.
- add
- getAttacks
Returns all attacks of this theory.
- addAll
- addAllAttacks
Adds the set of attacks to this Dung theory.
- getAttacked
Computes the set {A | (argument,A) in attacks}.
- getAttackers
Computes the set {A | (A,argument) in attacks}.
- getRestriction
- getSubgraphs
- isAttacked
returns true if some argument of ext attacks argument.
- isAttackedBy
Checks whether arg1 is attacked by arg2.
- isIndirectAttack
Checks whether "arg1" indirectly attacks "arg2", i.e. whether there is an
odd-length path from "arg1