Uses of Class
com.articulate.sigma.InferenceTestSuite.InfTestData
Packages that use InferenceTestSuite.InfTestData
Package
Description
Provides classes for the Sigma knowledge engineering environment version developed
at Articulate Software Inc.
-
Uses of InferenceTestSuite.InfTestData in com.articulate.sigma
Methods in com.articulate.sigma that return InferenceTestSuite.InfTestDataModifier and TypeMethodDescriptionInferenceTestSuite.inferenceUnitTest(String testpath, KB kb) The method will be called in InferenceTest in unit test; It takes a TQG file path, reading the kif statements and queries and expected answers; It parses the theorem prover's inference output for actual answers; Note that this procedure DOES NOT delete any prior user assertions.InferenceTestSuite.readTestFile(File f) Read in a .tq inference test files and return an InfTestData object or null if error Note that if the expected answer is a skolem term, the function is converted to 'sK1'Methods in com.articulate.sigma that return types with arguments of type InferenceTestSuite.InfTestDataModifier and TypeMethodDescriptionInferenceTestSuite.readTestFiles(List<File> files) Read in all the .tq inference test files from the given listMethods in com.articulate.sigma with parameters of type InferenceTestSuite.InfTestDataModifier and TypeMethodDescriptionbooleanInferenceTestSuite.compareFiles(InferenceTestSuite.InfTestData itd) Check if the required SUO-KIF file set is loaded and return false and print an error if not.static voidInferenceTestSuite.parseAnswers(String s, InferenceTestSuite.InfTestData itd) parse answersvoidInferenceTestSuite.saveTPTP(InferenceTestSuite.InfTestData itd) Method parameters in com.articulate.sigma with type arguments of type InferenceTestSuite.InfTestDataModifier and TypeMethodDescriptionvoidInferenceTestSuite.printResults(Collection<InferenceTestSuite.InfTestData> tests)