Package net.sf.tweety.arg.adf.reasoner.test

Class ReasonerBenchmark.LazyModelStorage

  • Enclosing class:
    ReasonerBenchmark
    private static class ReasonerBenchmark.LazyModelStorage
extends java.lang.Object

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.util.Map<java.io.File,​java.util.Map<java.lang.String,​java.util.Set<java.util.Map<java.lang.String,​java.lang.Boolean>>>> semanticsByFile
      file -> semantics -> list of modelStorage

    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private LazyModelStorage()  

    • Method Summary

      Modifier and Type Method Description
      java.util.Set<java.util.Map<java.lang.String,​java.lang.Boolean>> getModels​(java.io.File instance, java.lang.String semantics)  

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • semanticsByFile

        private java.util.Map<java.io.File,​java.util.Map<java.lang.String,​java.util.Set<java.util.Map<java.lang.String,​java.lang.Boolean>>>> semanticsByFile
        file -> semantics -> list of modelStorage

    • Constructor Detail

      • LazyModelStorage

        private LazyModelStorage()

    • Method Detail

      • getModels

        public java.util.Set<java.util.Map<java.lang.String,​java.lang.Boolean>> getModels​(java.io.File instance,
                                                                                        java.lang.String semantics)
                                                                                 throws java.io.IOException
        Throws:
        java.io.IOException