cprover
|
#include <variable_sensitivity_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 26 of file variable_sensitivity_dependence_graph.h.
|
strong |
Enumerator | |
---|---|
NONE | |
CTRL | |
DATA | |
BOTH |
Definition at line 29 of file variable_sensitivity_dependence_graph.h.
|
inline |
Definition at line 37 of file variable_sensitivity_dependence_graph.h.
|
inline |
Definition at line 54 of file variable_sensitivity_dependence_graph.h.
|
protected |
Definition at line 60 of file variable_sensitivity_dependence_graph.h.