CBMC
vs_dep_edget Class Reference

#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
 

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: