souffle
2.0.2-371-g6315b36
|
Abstract class for conditions and boolean values in RAM. More...
#include <Condition.h>
Public Member Functions | |
Condition * | clone () const override=0 |
Create a clone (i.e. More... | |
Public Member Functions inherited from souffle::ram::Node | |
virtual void | apply (const NodeMapper &) |
Apply the mapper to all child nodes. More... | |
virtual std::vector< const Node * > | getChildNodes () const |
Obtain list of all embedded child nodes. More... | |
bool | operator!= (const Node &other) const |
Inequality check for two RAM nodes. More... | |
bool | operator== (const Node &other) const |
Equivalence check for two RAM nodes. More... | |
virtual void | rewrite (const Node *oldNode, Own< Node > newNode) |
Rewrite a child node. More... | |
virtual | ~Node ()=default |
Additional Inherited Members | |
Protected Member Functions inherited from souffle::ram::Node | |
virtual bool | equal (const Node &) const |
Equality check for two RAM nodes. More... | |
virtual void | print (std::ostream &out=std::cout) const =0 |
Print RAM node. More... | |
Abstract class for conditions and boolean values in RAM.
Definition at line 35 of file Condition.h.
|
overridepure virtual |
Create a clone (i.e.
deep copy) of this node
Implements souffle::ram::Node.
Implemented in souffle::ram::Constraint, souffle::ram::Conjunction, souffle::ram::Negation, souffle::ram::EmptinessCheck, souffle::ram::ExistenceCheck, souffle::ram::ProvenanceExistenceCheck, souffle::ram::False, and souffle::ram::True.