|
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 1182 of file SlicedGraphs.h.
| using SVF::SlicedSVFGChildIterImpl< Forward >::difference_type = std::ptrdiff_t |
Definition at line 1187 of file SlicedGraphs.h.
| using SVF::SlicedSVFGChildIterImpl< Forward >::iterator_category = std::forward_iterator_tag |
Definition at line 1185 of file SlicedGraphs.h.
| using SVF::SlicedSVFGChildIterImpl< Forward >::pointer = const SlicedSVFGNodeRef* |
Definition at line 1188 of file SlicedGraphs.h.
| using SVF::SlicedSVFGChildIterImpl< Forward >::reference = SlicedSVFGNodeRef |
Definition at line 1189 of file SlicedGraphs.h.
| using SVF::SlicedSVFGChildIterImpl< Forward >::value_type = SlicedSVFGNodeRef |
Definition at line 1186 of file SlicedGraphs.h.
|
default |
|
inlineexplicit |
Definition at line 1192 of file SlicedGraphs.h.
|
inline |
Definition at line 1198 of file SlicedGraphs.h.
|
inline |
Definition at line 1194 of file SlicedGraphs.h.
|
inline |
Definition at line 1202 of file SlicedGraphs.h.
|
inline |
Definition at line 1207 of file SlicedGraphs.h.
|
friend |
Definition at line 1217 of file SlicedGraphs.h.
|
friend |
Definition at line 1213 of file SlicedGraphs.h.
|
private |
Definition at line 1223 of file SlicedGraphs.h.