| souffle
    2.0.2-371-g6315b36
    | 
#include "ram/AbstractConditional.h"#include "ram/Condition.h"#include "ram/NestedOperation.h"#include "ram/Node.h"#include "ram/Operation.h"#include "souffle/utility/MiscUtil.h"#include "souffle/utility/StreamUtil.h"#include <iosfwd>#include <memory>#include <ostream>#include <string>#include <utility>

Go to the source code of this file.
| Data Structures | |
| class | souffle::ram::Filter | 
| Checks whether a given condition holds.  More... | |
| Namespaces | |
| souffle | |
| souffle::ram | |
 1.8.17
 1.8.17