Package com.articulate.sigma

Class InferenceTestSuite.InfTestData

java.lang.Object
com.articulate.sigma.InferenceTestSuite.InfTestData
Enclosing class:
InferenceTestSuite
public class InferenceTestSuite.InfTestData extends Object

  • Field Details

    • filename

      public String filename

    • note

      public String note

    • query

      public String query

    • kbFiles

      public Set<String> kbFiles

    • expectedAnswers

      public List<String> expectedAnswers

    • actualAnswers

      public List<String> actualAnswers

    • timeout

      public int timeout

    • files

      public List<String> files

    • statements

      public List<String> statements

    • inconsistent

      public boolean inconsistent

    • success

      public boolean success

    • execTime

      public float execTime

    • SZSstatus

      public String SZSstatus

    • proof

      public List<String> proof

  • Constructor Details

    • InfTestData

      public InfTestData()