CBMC
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Protected Attributes | List of all members
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 class 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:

AltStyle によって変換されたページ (->オリジナル) /