public class AttackRelation<T extends Formula>
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) java.util.Map<Assumption<T>,java.util.Set<Assumption<T>>> |
atteds |
(package private) java.util.Map<Assumption<T>,java.util.Set<Assumption<T>>> |
atters |
Constructor and Description |
---|
AttackRelation(ABATheory<T> abat) |
java.util.Map<Assumption<T extends Formula>,java.util.Set<Assumption<T extends Formula>>> atters
java.util.Map<Assumption<T extends Formula>,java.util.Set<Assumption<T extends Formula>>> atteds