|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| XplainStrategy | |
| Class Summary | |
|---|---|
| Pair | |
| QuickXplainStrategy | |
| ReplayXplainStrategy | |
| Xplain<T extends ISolver> | An implementation of the QuickXplain algorithm as explained by Ulrich Junker in the following paper: |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||