Class LotteryDialogueTest2


  • public class LotteryDialogueTest2
    extends Object
    Main class for empirical evaluation in [Hunter, Thimm. 2015, to appear]
    Author:
    Matthias Thimm
    • Field Detail

      • semantics

        public static net.sf.tweety.arg.dung.semantics.Semantics semantics
        The argumentation semantics used
      • timeout

        public static int timeout
        Timeout
      • rep

        public static int rep
        Number of repetitions per file
    • Constructor Detail

      • LotteryDialogueTest2

        public LotteryDialogueTest2()
    • Method Detail

      • main

        public static void main​(String[] args)
                         throws net.sf.tweety.commons.ParserException,
                                FileNotFoundException,
                                IOException
        Main method for evaluation.
        Parameters:
        args - additional arguments
        Throws:
        net.sf.tweety.commons.ParserException - if parsing failed
        FileNotFoundException - if a file could not be found
        IOException - if some general IO issue occurred