Package diarg.explanations

Class ExplanationTestFrameworks

java.lang.Object
diarg.explanations.ExplanationTestFrameworks
public final class ExplanationTestFrameworks
extends java.lang.Object
Contains example argumentation frameworks testing monotony violation explanations framework1: ({a, b, c, d}, {(a, b), (b, a)}) framework2: ({a, b, c, d, e, f, g}, {(a, b), (b, a), (e, c), (e, d), (e, f), (f, a), (f, e), (f, g), (g, f)}) framework3: ({a, b, c}, {(a, b), (b, a)}) framework4: ({a, b, c, d}, {(a, b), (b, a), (d, c)}) framework5: ({a, b, c, d, e}, {(a, b), (b, a), (b, e), (e, c), (e, d)})
Author:
Timotheus Kampik

  • Field Summary

    Fields 
    Modifier and Type Field Description
    net.sf.tweety.arg.dung.syntax.DungTheory framework1  
    net.sf.tweety.arg.dung.syntax.DungTheory framework2  
    net.sf.tweety.arg.dung.syntax.DungTheory framework3  
    net.sf.tweety.arg.dung.syntax.DungTheory framework4  
    net.sf.tweety.arg.dung.syntax.DungTheory framework5  

  • Constructor Summary

    Constructors 
    Constructor Description
    ExplanationTestFrameworks()  

  • Method Summary

    Methods inherited from class java.lang.Object

    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Field Details

    • framework1

      public net.sf.tweety.arg.dung.syntax.DungTheory framework1

    • framework2

      public net.sf.tweety.arg.dung.syntax.DungTheory framework2

    • framework3

      public net.sf.tweety.arg.dung.syntax.DungTheory framework3

    • framework4

      public net.sf.tweety.arg.dung.syntax.DungTheory framework4

    • framework5

      public net.sf.tweety.arg.dung.syntax.DungTheory framework5

  • Constructor Details