- Started with the forward and backward rule implementation.
authorMatej Urbas <matej.urbas@gmail.com>
Wed, 18 Apr 2012 08:33:31 +0000 (09:33 +0100)
committerMatej Urbas <matej.urbas@gmail.com>
Wed, 18 Apr 2012 08:33:31 +0000 (09:33 +0100)
commiteda9f1ac7b9731d0a0ef7855177353587840b473
tree89eadb7c2920d3f96a4f30390cef8d01aea12489
parent6f23dc4b2324912fbbf99e36d7547046a35ce40f
- Started with the forward and backward rule implementation.
devel/Speedith.Core/src/speedith/core/reasoning/BackwardRule.java [new file with mode: 0644]
devel/Speedith.Core/src/speedith/core/reasoning/ForwardRule.java [new file with mode: 0644]
devel/Speedith.Core/src/speedith/core/reasoning/InferenceRuleProvider.java
devel/Speedith.Core/src/speedith/core/reasoning/args/selection/SelectionStep.java
devel/Speedith.Core/src/speedith/core/reasoning/rules/SimpleInferenceRule.java
devel/Speedith.Core/src/speedith/core/util/Sequences.java
devel/Speedith.Core/src/speedith/core/util/Sets.java