Class SafetyReasoner


  • public class SafetyReasoner
    extends java.lang.Object
    a set of arguments S is safe wrt. the complex attacks iff there are no arguments a, b of S and argument c such that: b supports c or c is in S and there is a complex attack from a to c.
    Author:
    Lars Bengel