CBMC
dep_edget Class Reference

#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
 

Detailed Description

Definition at line 27 of file dependence_graph.h.

Member Enumeration Documentation

◆ kindt

enum dep_edget::kindt
strong
Enumerator
NONE 
CTRL 
DATA 
BOTH 

Definition at line 30 of file dependence_graph.h.

Member Function Documentation

◆ add()

void dep_edget::add ( kindt  _kind)
inline

Definition at line 32 of file dependence_graph.h.

◆ get()

kindt dep_edget::get ( ) const
inline

Definition at line 49 of file dependence_graph.h.

Member Data Documentation

◆ kind

kindt dep_edget::kind
protected

Definition at line 55 of file dependence_graph.h.


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