src/AtomSet.cpp File Reference
AtomSet class. More...
#include <vector>#include <algorithm>#include "dlvhex2/AtomSet.h"
Include dependency graph for AtomSet.cpp:
Go to the source code of this file.
Data Structures | |
| struct | PredicateMatches |
| General purpose predicate functor, which returns true iff predicate of g matches pred. More... | |
| struct | AtomMatches |
| General purpose predicate functor, which returns true iff (*g == a). More... | |
