|
| |
|
| test.org.mandarax.reference.MandaraxTestCase
 test.org.mandarax.reference.TestInferenceEngineUseMath
test.org.mandarax.reference.TestInferenceEngine16
| TestInferenceEngine16 | | public class TestInferenceEngine16 extends TestInferenceEngineUseMath (Code) | | Tests queries returning results still containing variables (in complex terms).
Hint : read the clauses in the test kb as P1 as 'is number' and P2 as 'is even number'.
We then query for even numbers and must get: any 2*x as result.
author:
Jens Dietrich
version:
3.4 <7 March 05>
since:
1.9.2 |
| TestInferenceEngine16 | | public TestInferenceEngine16(KnowledgeBase aKnowledgeBase, InferenceEngine anInferenceEngine)(Code) | | Constructor.
Parameters:
aKnowledgeBase - a new, uninitialized knowledge base that will be used
Parameters:
anInferenceEngine - the inference engine that will be tested |
| feedKnowledgeBase | | public void feedKnowledgeBase(KnowledgeBase knowledge)(Code) | | Add facts and rules to the knowledge base.
Parameters:
knowledge - org.mandarax.kernel.KnowledgeBase |
| getDescription | | public String getDescription()(Code) | | Get a description of this test case.
This is used by the org.mandarax.demo
package to display the test cases.
a brief description of the test case |
| getExpectedNumber | | int getExpectedNumber()(Code) | | Get the expected number.
the name of the person |
| getQuery | | public Query getQuery()(Code) | | Get the query.
a query |
| testInferenceEngine | | public void testInferenceEngine()(Code) | | Run the test.
|
|
|
|