souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
34 class AbstractChoice {
37 assert(
condition !=
nullptr &&
"Condition is a null-pointer");
42 assert(
condition !=
nullptr &&
"condition of choice is a null-pointer");
AbstractChoice(Own< Condition > cond)
void apply(const NodeMapper &map)
Abstract class for a choice operation.
auto map(const std::vector< A > &xs, F &&f)
Applies a function to each element of a vector and returns the results.
Abstract class for conditions and boolean values in RAM.
Node is a superclass for all RAM IR classes.
bool equal(const Node &node) const
An abstract class for manipulating RAM Nodes by substitution.
bool equal_ptr(const T *a, const T *b)
Compares two values referenced by a pointer where the case where both pointers are null is also consi...
std::vector< const Node * > getChildNodes() const
Own< Condition > condition
Condition for which a tuple in the relation may hold.
const Condition & getCondition() const
Getter for the condition.