|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary | |
|---|---|
| SLDNFEvaluationStrategy | Implementation of the SLDNF evaluation strategy. |
| SLDNFEvaluationStrategyFactory | Factory for SLDNF evaluation strategy |
| SLDNFEvaluator | Implementation of the SLDNF evaluator. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||