|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| AlcomoProblem | |
| ExtractionProblem | |
| Settings | |
| Enum Summary | |
|---|---|
| Settings.BlackBoxReasoner | It is possible tochoose between different reasoners that act internally as black box oracle. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||