|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include <SymbolDefTree.h>
Public Types | |
| using | child_iterator = mlir::SetVector<SymbolDefTreeNode *>::const_iterator |
| Iterator over the children of this node. | |
Public Member Functions | |
| mlir::SymbolOpInterface | getOp () const |
| Returns the Symbol operation referenced by this node. | |
| const SymbolDefTreeNode * | getParent () const |
| Returns the parent node in the tree. The root node will return nullptr. | |
| bool | hasChildren () const |
| Returns true if this node has any child edges. | |
| size_t | numChildren () const |
| child_iterator | begin () const |
| child_iterator | end () const |
| llvm::iterator_range< child_iterator > | childIter () const |
| Range over child nodes. | |
| std::string | toString () const |
| Print the node in a human readable format. | |
| void | print (llvm::raw_ostream &os) const |
Friends | |
| class | SymbolDefTree |
Definition at line 21 of file SymbolDefTree.h.
| using llzk::SymbolDefTreeNode::child_iterator = mlir::SetVector<SymbolDefTreeNode *>::const_iterator |
Iterator over the children of this node.
Definition at line 55 of file SymbolDefTree.h.
|
inline |
Definition at line 56 of file SymbolDefTree.h.
|
inline |
Range over child nodes.
Definition at line 60 of file SymbolDefTree.h.
|
inline |
Definition at line 57 of file SymbolDefTree.h.
|
inline |
Returns the Symbol operation referenced by this node.
This will be 'nullptr' for the root node in the graph.
Definition at line 45 of file SymbolDefTree.h.
|
inline |
Returns the parent node in the tree. The root node will return nullptr.
Definition at line 48 of file SymbolDefTree.h.
|
inline |
Returns true if this node has any child edges.
Definition at line 51 of file SymbolDefTree.h.
|
inline |
Definition at line 52 of file SymbolDefTree.h.
| void llzk::SymbolDefTreeNode::print | ( | llvm::raw_ostream & | os | ) | const |
Definition at line 103 of file SymbolDefTree.cpp.
| std::string llzk::SymbolDefTreeNode::toString | ( | ) | const |
Print the node in a human readable format.
Definition at line 101 of file SymbolDefTree.cpp.
|
friend |
Definition at line 40 of file SymbolDefTree.h.