#include "ram/Program.h"#include "ram/TranslationUnit.h"#include "ram/analysis/Complexity.h"#include "ram/transform/Transformer.h"#include <string>
Include dependency graph for ReorderConditions.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::ReorderConditionsTransformer |
| Reorders conjunctive terms depending on cost, i.e., cheap terms should be executed first. More... | |
Namespaces | |
| souffle | |
| souffle::ram | |
| souffle::ram::transform | |
