Increment a counter and return its value. More...
#include <AutoIncrement.h>
Inheritance diagram for souffle::ram::AutoIncrement:
Collaboration diagram for souffle::ram::AutoIncrement:
Public Member Functions | |
| AutoIncrement * | clone () const override |
| 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 |
Protected Member Functions | |
| void | print (std::ostream &os) const override |
| Print RAM node. More... | |
| Protected Member Functions inherited from souffle::ram::Node | |
| virtual bool | equal (const Node &) const |
| Equality check for two RAM nodes. More... | |
Detailed Description
Increment a counter and return its value.
Note that there exists a single counter only.
Definition at line 36 of file AutoIncrement.h.
Member Function Documentation
◆ clone()
|
inlineoverridevirtual |
Create a clone (i.e.
deep copy) of this node
Implements souffle::ram::Expression.
Definition at line 38 of file AutoIncrement.h.
Referenced by souffle::ram::test::TEST().
◆ print()
|
inlineoverrideprotectedvirtual |
The documentation for this class was generated from the following file:
- ram/AutoIncrement.h
