|
souffle
2.0.2-371-g6315b36
|
#include "ram/utility/NodeMapper.h"#include "souffle/utility/ContainerUtil.h"#include <cassert>#include <functional>#include <iostream>#include <memory>#include <typeinfo>#include <utility>#include <vector>

Go to the source code of this file.
Data Structures | |
| class | souffle::ram::LambdaNodeMapper< Lambda > |
| A special NodeMapper wrapping a lambda conducting node transformations. More... | |
Namespaces | |
| souffle | |
| souffle::ram | |
Functions | |
| template<typename Lambda > | |
| LambdaNodeMapper< Lambda > | souffle::ram::makeLambdaRamMapper (const Lambda &lambda) |
| Creates a node mapper based on a corresponding lambda expression. More... | |
1.8.17