CBMC
|
#include <dependence_graph.h>
Public Types | |
enum class | kindt { NONE , CTRL , DATA , BOTH } |
Public Member Functions | |
void | add (kindt _kind) |
kindt | get () const |
Protected Attributes | |
kindt | kind |
Definition at line 27 of file dependence_graph.h.
|
strong |
Enumerator | |
---|---|
NONE | |
CTRL | |
DATA | |
BOTH |
Definition at line 30 of file dependence_graph.h.
|
inline |
Definition at line 32 of file dependence_graph.h.
|
inline |
Definition at line 49 of file dependence_graph.h.
|
protected |
Definition at line 55 of file dependence_graph.h.