include/dlvhex2/Nogood.h File Reference
#include <vector>#include <set>#include <map>#include <boost/foreach.hpp>#include <boost/unordered_map.hpp>#include "dlvhex2/ID.h"#include "dlvhex2/Printhelpers.h"#include "dlvhex2/Set.h"#include "dlvhex2/Registry.h"#include "dlvhex2/Interpretation.h"
Include dependency graph for Nogood.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | Nogood |
| Stores a set of signed literals which cannot be simultanously true. More... | |
| class | NogoodSet |
| Stores a set of nogoods. More... | |
| class | NogoodContainer |
| Base class for nogood containers. More... | |
| class | SimpleNogoodContainer |
| A NogoodContainer based on NogoodSet. More... | |
Typedefs | |
| typedef NogoodContainer::Ptr | NogoodContainerPtr |
| typedef NogoodContainer::ConstPtr | NogoodContainerConstPtr |
| typedef SimpleNogoodContainer::Ptr | SimpleNogoodContainerPtr |
| typedef SimpleNogoodContainer::ConstPtr | SimpleNogoodContainerConstPtr |
