CBMC
Public Types | Public Member Functions | Protected Attributes | List of all members
dep_edget Class Reference

#include <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 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: