souffle
2.0.2-371-g6315b36
|
Represents a signed constant. More...
#include <SignedConstant.h>
Public Member Functions | |
SignedConstant * | clone () const override |
Create clone. More... | |
RamDomain | getValue () const |
Get value of the constant. More... | |
SignedConstant (RamDomain val) | |
Public Member Functions inherited from souffle::ram::Constant | |
RamDomain | getConstant () const |
Get constant. 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 |
Protected Member Functions | |
void | print (std::ostream &os) const override |
Print RAM node. More... | |
Protected Member Functions inherited from souffle::ram::Constant | |
Constant (RamDomain constant) | |
bool | equal (const Node &node) const override |
Equality check for two RAM nodes. More... | |
Additional Inherited Members | |
Protected Attributes inherited from souffle::ram::Constant | |
const RamDomain | constant |
Constant value. More... | |
Represents a signed constant.
For example:
Definition at line 40 of file SignedConstant.h.
|
inlineexplicit |
Definition at line 42 of file SignedConstant.h.
|
inlineoverridevirtual |
Create clone.
Implements souffle::ram::Expression.
Definition at line 50 of file SignedConstant.h.
Referenced by souffle::ram::test::TEST().
|
inline |
|
inlineoverrideprotectedvirtual |