include/dlvhex2/WellfoundedModelGenerator.h File Reference
Model generator for eval units that allow a fixpoint calculation. More...
#include "dlvhex2/PlatformDefinitions.h"#include "dlvhex2/fwd.h"#include "dlvhex2/ID.h"#include "dlvhex2/BaseModelGenerator.h"#include "dlvhex2/ComponentGraph.h"
Include dependency graph for WellfoundedModelGenerator.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | WellfoundedModelGenerator |
| class | WellfoundedModelGeneratorFactory |
| Factory for the WellfoundedModelGenerator. More... | |
Detailed Description
Model generator for eval units that allow a fixpoint calculation.
Those units may contain external atoms at the input, only monotonic eatoms and no negative cycles within the SCC.
Definition in file WellfoundedModelGenerator.h.
