[Reasoner4j-user] SF.net SVN: reasoner4j:[43] trunk/reasoner4j
Status: Pre-Alpha
Brought to you by:
luc_peuvrier
|
From: <luc...@us...> - 2010-12-26 11:12:33
|
Revision: 43
http://reasoner4j.svn.sourceforge.net/reasoner4j/?rev=43&view=rev
Author: luc_peuvrier
Date: 2010-12-26 11:12:27 +0000 (Sun, 26 Dec 2010)
Log Message:
-----------
changed for retract count test, concept of not concluding premise
Modified Paths:
--------------
trunk/reasoner4j/src/main/java/net/sf/reasoner4j/rete/entity/MergeTable.java
trunk/reasoner4j/src/test/java/net/sf/reasoner4j/TestBasicInference.java
Property Changed:
----------------
trunk/reasoner4j/
Property changes on: trunk/reasoner4j
___________________________________________________________________
Modified: svn:ignore
- target
+ target
logs
Modified: trunk/reasoner4j/src/main/java/net/sf/reasoner4j/rete/entity/MergeTable.java
===================================================================
--- trunk/reasoner4j/src/main/java/net/sf/reasoner4j/rete/entity/MergeTable.java 2010-12-26 09:34:07 UTC (rev 42)
+++ trunk/reasoner4j/src/main/java/net/sf/reasoner4j/rete/entity/MergeTable.java 2010-12-26 11:12:27 UTC (rev 43)
@@ -161,7 +161,7 @@
.remove(secondSourceValue);
if (toRemoveSet == null) {
throw new ReasonerException("no elements for "
- + secondSourceValue.toString());
+ + secondSourceValue.toString() + " in " + table);
}
for (List<T> thisValueToRemove : toRemoveSet) {
if (!remove(thisValueToRemove)) {
Modified: trunk/reasoner4j/src/test/java/net/sf/reasoner4j/TestBasicInference.java
===================================================================
--- trunk/reasoner4j/src/test/java/net/sf/reasoner4j/TestBasicInference.java 2010-12-26 09:34:07 UTC (rev 42)
+++ trunk/reasoner4j/src/test/java/net/sf/reasoner4j/TestBasicInference.java 2010-12-26 11:12:27 UTC (rev 43)
@@ -37,7 +37,6 @@
import net.sf.reasoner4j.rule.AssertConclusion;
import net.sf.reasoner4j.rule.IPremise;
import net.sf.reasoner4j.rule.Premise;
-import net.sf.reasoner4j.rule.PremiseAndDefault;
import net.sf.reasoner4j.rule.PremiseAndDefaultNotConclude;
import net.sf.reasoner4j.rule.RetractConclusion;
import net.sf.reasoner4j.rule.Rule;
@@ -294,24 +293,30 @@
/* object */"?NC", null);
rule.addPremise(premise);
+ // AffectConclusion do not retract conclusion
AffectConclusion<String> conclusion = new AffectConclusion<String>(
- /* subject */"?X", null, false,
- /* predicate */null, "koCount", false,
- /* object */"?NC", null, true);
+ // ReplaceConclusion<String> conclusion = new ReplaceConclusion<String>(
+ /* subject */"?X", null, false,
+ /* predicate */null, "koCount", false,
+ /* object */"?NC", null, true);
rule.addConclusion(conclusion);
motor.addRule(rule);
motor.assertFact(new Fact<String>("myCar", "state", "ko"));
logKoCount("first ko assert", kb);
assertNotNull(kb.get("myCar", "koCount", "1"));
+
motor.retractFact(new Fact<String>("myCar", "state", "ko"));
logKoCount("ko retract", kb);
+
motor.assertFact(new Fact<String>("myCar", "state", "ko"));
logKoCount("second ko assert", kb);
assertNotNull(kb.get("myCar", "koCount", "2"));
assertNull(kb.get("myCar", "koCount", "1"));
+
motor.retractFact(new Fact<String>("myCar", "state", "ko"));
logKoCount("ko retract", kb);
+
motor.assertFact(new Fact<String>("myCar", "state", "ko"));
logKoCount("third ko assert", kb);
assertNotNull(kb.get("myCar", "koCount", "3"));
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|