dlvhex
2.5.0
|
Table for storing Module Atoms (module calls --> [q1,q2]::r(a,b,c) )
More...
#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/Atoms.h"
#include "dlvhex2/Table.h"
#include <boost/multi_index/member.hpp>
#include <boost/multi_index/hashed_index.hpp>
#include <boost/multi_index/composite_key.hpp>
#include <boost/multi_index/random_access_index.hpp>
Go to the source code of this file.
Data Structures | |
class | ModuleAtomTable |
Lookup table for module atoms. More... |
Table for storing Module Atoms (module calls --> [q1,q2]::r(a,b,c) )
Definition in file ModuleAtomTable.h.