souffle
2.0.2-371-g6315b36
|
#include "ram/Condition.h"
#include "ram/Conjunction.h"
#include "ram/Expression.h"
#include "ram/True.h"
#include "ram/UndefValue.h"
#include "souffle/utility/MiscUtil.h"
#include <algorithm>
#include <memory>
#include <queue>
#include <utility>
#include <vector>
Go to the source code of this file.
Namespaces | |
souffle | |
souffle::ram | |
Functions | |
std::vector< const ram::Condition * > | souffle::ram::findConjunctiveTerms (const ram::Condition *condition) |
store terms of a conjunction in an array of pointers without cloning More... | |
bool | souffle::ram::isTrue (const Condition *cond) |
Determines if a condition represents true. More... | |
bool | souffle::ram::isUndefValue (const Expression *expr) |
Determines if an expression represents an undefined value. More... | |
Own< Condition > | souffle::ram::toCondition (const VecOwn< Condition > &conds) |
Convert list of conditions to a conjunction. More... | |
VecOwn< Condition > | souffle::ram::toConjunctionList (const Condition *condition) |
Convert terms of a conjunction to a list. More... | |