include/dlvhex2/Atoms.h File Reference
Storage classes for atoms: Atom, OrdinaryAtom, BuiltinAtom, AggregateAtom, ExternalAtom, ModuleAtom. More...
#include "dlvhex2/PlatformDefinitions.h"#include "dlvhex2/fwd.h"#include "dlvhex2/Logger.h"#include "dlvhex2/ID.h"#include "dlvhex2/PredicateMask.h"#include "dlvhex2/ExtSourceProperties.h"#include <boost/shared_ptr.hpp>#include <boost/weak_ptr.hpp>#include <vector>#include <list>
Include dependency graph for Atoms.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| struct | Atom |
| Base class for all atoms. More... | |
| struct | OrdinaryAtom |
| Stores ordinary atoms of kind p(a1, ..., an). More... | |
| struct | BuiltinAtom |
| Stores atoms over builtin predicates, such as X <= 2. More... | |
| struct | AggregateAtom |
| Stores aggregate atoms, such as Z <= #avg{X : p(X)} <= Y. More... | |
| struct | ExternalAtom |
| Stores an external atom of form &<predicate>[<inputs>](<outputs>). More... | |
| struct | ModuleAtom |
| Module atom structure for storing atoms of kind <predicate>[<inputs>]::<outputAtom>. More... | |
Variables | |
| const std::string | MODULEPREFIXSEPARATOR = "__" |
| const std::string | MODULEINSTSEPARATOR = "___" |
Detailed Description
Storage classes for atoms: Atom, OrdinaryAtom, BuiltinAtom, AggregateAtom, ExternalAtom, ModuleAtom.
Definition in file Atoms.h.
Variable Documentation
| const std::string MODULEINSTSEPARATOR = "___" |
Definition at line 507 of file Atoms.h.
Referenced by RawPrinter::removeModulePrefix().
| const std::string MODULEPREFIXSEPARATOR = "__" |
Definition at line 506 of file Atoms.h.
Referenced by MLPSyntaxChecker::getStringAfterSeparator(), MLPSyntaxChecker::getStringBeforeSeparator(), sem< HexGrammarSemantics::predFromPredDecl >::operator()(), sem< HexGrammarSemantics::mlpModuleAtom >::operator()(), RawPrinter::removeModulePrefix(), storePredicate(), and MLPSyntaxChecker::verifyPredOutputArityModuleCall().
