include/dlvhex2/GuessAndCheckModelGenerator.h File Reference
Model generator for eval units that do not allow a fixpoint calculation. More...
#include "dlvhex2/PlatformDefinitions.h"#include "dlvhex2/fwd.h"#include "dlvhex2/FLPModelGeneratorBase.h"#include "dlvhex2/ID.h"#include "dlvhex2/ComponentGraph.h"#include "dlvhex2/PredicateMask.h"#include <boost/shared_ptr.hpp>
Include dependency graph for GuessAndCheckModelGenerator.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | GuessAndCheckModelGeneratorFactory |
| Factory for the GuessAndCheckModelGenerator. More... | |
| class | GuessAndCheckModelGenerator |
Detailed Description
Model generator for eval units that do not allow a fixpoint calculation.
Those units may be of any form.
Definition in file GuessAndCheckModelGenerator.h.
