#include "ram/Program.h"#include "ram/TranslationUnit.h"#include "ram/analysis/Index.h"#include "ram/analysis/Relation.h"#include "ram/transform/Transformer.h"#include <string>
Include dependency graph for IndexedInequality.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::transform::IndexedInequalityTransformer |
| Removes Inequalities from Indexed Operations and replaces them with a Filter Operation and empty Indexed Operations are coverted to their Non-Indexed semantic equivalent. More... | |
Namespaces | |
| souffle | |
| souffle::ram | |
| souffle::ram::transform | |
