vs_dep_edget Class Reference

#include <variable_sensitivity_dependence_graph.h>

Public Types
enum	kindt { kindt::NONE, kindt::CTRL, kindt::DATA, kindt::BOTH }

Public Member Functions
void	add (kindt _kind)
kindt	get () const

Protected Attributes
kindt	kind

Detailed Description

Definition at line 25 of file variable_sensitivity_dependence_graph.h.

Member Enumeration Documentation

kindt

enum vs_dep_edget::kindt

strong

Enumerator
NONE
CTRL
DATA
BOTH

Definition at line 28 of file variable_sensitivity_dependence_graph.h.

Member Function Documentation

add()

void vs_dep_edget::add ( kindt  _kind )

inline

Definition at line 36 of file variable_sensitivity_dependence_graph.h.

get()

kindt vs_dep_edget::get ( ) const

inline

Definition at line 53 of file variable_sensitivity_dependence_graph.h.

Member Data Documentation

kind

kindt vs_dep_edget::kind

protected

Definition at line 59 of file variable_sensitivity_dependence_graph.h.

---

The documentation for this class was generated from the following file:

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/variable-sensitivity/variable_sensitivity_dependence_graph.h