|
Static Value-Flow Analysis
|
#include <SlicedGraphs.h>
Public Types | |
| using | iterator_category = std::forward_iterator_tag |
| using | value_type = SlicedSVFGNodeRef |
| using | difference_type = std::ptrdiff_t |
| using | pointer = const SlicedSVFGNodeRef * |
| using | reference = SlicedSVFGNodeRef |
Public Member Functions | |
| SlicedSVFGChildIterImpl ()=default | |
| SlicedSVFGChildIterImpl (SlicedSVFGEdgeIterImpl< Forward > it) | |
| reference | operator* () const |
| const SlicedSVFGEdgeRef & | currentEdge () const |
| SlicedSVFGChildIterImpl & | operator++ () |
| SlicedSVFGChildIterImpl | operator++ (int) |
Private Attributes | |
| SlicedSVFGEdgeIterImpl< Forward > | e {} |
Friends | |
| bool | operator== (const SlicedSVFGChildIterImpl &a, const SlicedSVFGChildIterImpl &b) |
| bool | operator!= (const SlicedSVFGChildIterImpl &a, const SlicedSVFGChildIterImpl &b) |
Definition at line 1166 of file SlicedGraphs.h.
| using SVF::SlicedSVFGChildIterImpl< Forward >::difference_type = std::ptrdiff_t |
Definition at line 1171 of file SlicedGraphs.h.
| using SVF::SlicedSVFGChildIterImpl< Forward >::iterator_category = std::forward_iterator_tag |
Definition at line 1169 of file SlicedGraphs.h.
| using SVF::SlicedSVFGChildIterImpl< Forward >::pointer = const SlicedSVFGNodeRef* |
Definition at line 1172 of file SlicedGraphs.h.
| using SVF::SlicedSVFGChildIterImpl< Forward >::reference = SlicedSVFGNodeRef |
Definition at line 1173 of file SlicedGraphs.h.
| using SVF::SlicedSVFGChildIterImpl< Forward >::value_type = SlicedSVFGNodeRef |
Definition at line 1170 of file SlicedGraphs.h.
|
default |
|
inlineexplicit |
Definition at line 1176 of file SlicedGraphs.h.
|
inline |
Definition at line 1182 of file SlicedGraphs.h.
|
inline |
Definition at line 1178 of file SlicedGraphs.h.
|
inline |
Definition at line 1186 of file SlicedGraphs.h.
|
inline |
Definition at line 1191 of file SlicedGraphs.h.
|
friend |
Definition at line 1201 of file SlicedGraphs.h.
|
friend |
Definition at line 1197 of file SlicedGraphs.h.
|
private |
Definition at line 1207 of file SlicedGraphs.h.