#include "ram/IndexScan.h"#include "ram/Operation.h"#include "ram/Program.h"#include "ram/Scan.h"#include "ram/TranslationUnit.h"#include "ram/analysis/Level.h"#include "ram/transform/Transformer.h"#include <memory>#include <string>
Include dependency graph for ChoiceConversion.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::ChoiceConversionTransformer |
| Convert (Scan/If)/(IndexScan/If) operaitons to (Choice)/(IndexChoice) operations. More... | |
Namespaces | |
| souffle | |
| souffle::ram | |
| souffle::ram::transform | |
