#include "ram/Expression.h"#include "ram/Node.h"#include "ram/Operation.h"#include "ram/Relation.h"#include "ram/RelationOperation.h"#include "ram/utility/NodeMapper.h"#include "ram/utility/Utils.h"#include "souffle/utility/ContainerUtil.h"#include "souffle/utility/MiscUtil.h"#include <cassert>#include <iosfwd>#include <memory>#include <ostream>#include <string>#include <utility>#include <vector>
Include dependency graph for IndexOperation.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | souffle::ram::IndexOperation |
Namespaces | |
| souffle | |
| souffle::ram | |
Typedefs | |
| using | souffle::ram::RamBound = VecOwn< Expression > |
| Pattern type for lower/upper bound. More... | |
| using | souffle::ram::RamPattern = std::pair< RamBound, RamBound > |
