|  | 
| using | RelationHandle = Own< RelationWrapper > | 
|  | 
|  | IndexChoice (enum NodeType ty, const ram::Node *sdw, RelationHandle *relHandle, Own< Node > cond, Own< Node > nested, size_t viewId, SuperInstruction superInst) | 
|  | 
|  | Choice (enum NodeType ty, const ram::Node *sdw, RelationHandle *relHandle, Own< Node > cond, Own< Node > nested) | 
|  | 
| RelationWrapper * | getRelation () const | 
|  | get relation from handle  More... 
 | 
|  | 
| const ram::Node * | getShadow () const | 
|  | get shadow node, i.e., RAM node  More... 
 | 
|  | 
| enum NodeType | getType () const | 
|  | get node type  More... 
 | 
|  | 
|  | Node (enum NodeType ty, const ram::Node *sdw, RelationHandle *relHandle=nullptr) | 
|  | 
| virtual | ~Node ()=default | 
|  | 
|  | ConditionalOperation (Own< Node > cond) | 
|  | 
| const Node * | getCondition () const | 
|  | 
| const Node * | getNestedOperation () const | 
|  | 
|  | NestedOperation (Own< Node > nested) | 
|  | 
| const SuperInstruction & | getSuperInst () const | 
|  | 
|  | SuperOperation (SuperInstruction superInst) | 
|  | 
| size_t | getViewId () const | 
|  | 
|  | ViewOperation (size_t id) | 
|  | 
| ViewContext * | getViewContext () const | 
|  | get view context for operations  More... 
 | 
|  | 
| void | setViewContext (const std::shared_ptr< ViewContext > &v) | 
|  | set view context  More... 
 | 
|  | 
| RelationHandle *const | relHandle | 
|  | 
| const ram::Node * | shadow | 
|  | 
| enum NodeType | type | 
|  | 
| Own< Node > | cond | 
|  | 
| Own< Node > | nested | 
|  | 
| const SuperInstruction | superInst | 
|  | 
| size_t | viewId | 
|  | 
| std::shared_ptr< ViewContext > | viewContext = nullptr | 
|  | 
Definition at line 647 of file Node.h.