|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use Conclusion | |
| biz.hammurapi.rules | |
| Uses of Conclusion in biz.hammurapi.rules |
| Subclasses of Conclusion in biz.hammurapi.rules | |
class |
SimpleConclusion
Exposes Conclusion's put() and get() methods. |
| Methods in biz.hammurapi.rules with parameters of type Conclusion | |
protected void |
QueueingRulesContainer.onDiscardedConclusion(Conclusion conclusion)
Conclusions discarded because their derivation depth is too big are passed to this method. |
void |
Conclusion.mergeDerivations(Conclusion otherConclusion)
Merges derivations of two equal conclusions. |
| Constructors in biz.hammurapi.rules with parameters of type Conclusion | |
ConclusionNegator(Conclusion conclusion)
|
|
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||