|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary | |
|---|---|
| ProgramDoubler | Program doubler for well-founded semantics evaluation strategy. |
| WellFoundedEvaluationStrategy | A well-founded evaluation strategy that uses an alternating fixed-point procedure. |
| WellFoundedEvaluationStrategyFactory | Factory for well-founded evaluation strategy. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||