#include "souffle/RamTypes.h"#include "souffle/RecordTable.h"#include "souffle/SignalHandler.h"#include "souffle/SouffleInterface.h"#include "souffle/SymbolTable.h"#include "souffle/datastructure/Brie.h"#include "souffle/datastructure/EquivalenceRelation.h"#include "souffle/datastructure/Table.h"#include "souffle/io/IOSystem.h"#include "souffle/io/WriteStream.h"#include "souffle/utility/CacheUtil.h"#include "souffle/utility/ContainerUtil.h"#include "souffle/utility/EvaluatorUtil.h"#include "souffle/utility/FileUtil.h"#include "souffle/utility/FunctionalUtil.h"#include "souffle/utility/MiscUtil.h"#include "souffle/utility/ParallelUtil.h"#include "souffle/utility/StreamUtil.h"#include "souffle/utility/StringUtil.h"#include "souffle/CompiledOptions.h"#include "souffle/profile/Logger.h"#include "souffle/profile/ProfileEvent.h"#include <array>#include <atomic>#include <cassert>#include <cmath>#include <cstdint>#include <cstdlib>#include <exception>#include <iostream>#include <iterator>#include <memory>#include <regex>#include <string>#include <utility>#include <vector>
Include dependency graph for CompiledSouffle.h:
Go to the source code of this file.
Data Structures | |
| struct | souffle::t_info< Arity_ >::context |
| struct | souffle::t_nullaries::context |
| class | souffle::t_info< Arity_ >::iterator |
| class | souffle::t_nullaries::iterator |
| class | souffle::RelationWrapper< RelType >::iterator_wrapper |
| class | souffle::RelationWrapper< RelType > |
| Relation wrapper used internally in the generated Datalog program. More... | |
| class | souffle::t_info< Arity_ > |
| info relations More... | |
| class | souffle::t_nullaries |
| Nullary relations. More... | |
Namespaces | |
| souffle | |
Functions | |
| souffle::SouffleProgram * | souffle::getInstance (const char *p) |
