diff options
author | yoni206 <yoni206@users.noreply.github.com> | 2019-07-22 22:39:59 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-22 22:39:59 -0700 |
commit | 5b494f33f146677386385fc7d055f95d9aae08d5 (patch) | |
tree | 603751d479cf69281d7c40658478e9bedda90048 /src/options | |
parent | 5d203980cb011ce0a9aa5007d4792c1f80dd1e4b (diff) |
Get operators in node (#3094)
This commit adds a function to node_algorithm.{h,cpp} that returns the operators that occur in a given node.
Diffstat (limited to 'src/options')
0 files changed, 0 insertions, 0 deletions