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

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