CBMC
Public Member Functions | Public Attributes | Friends | List of all members
frame_reft Class Reference

#include <solver_types.h>

Public Member Functions

 frame_reft ()
 
 frame_reft (std::size_t __index)
 

Public Attributes

std::size_t index
 

Friends

bool operator== (const frame_reft &a, const frame_reft &b)
 

Detailed Description

Definition at line 22 of file solver_types.h.

Constructor & Destructor Documentation

◆ frame_reft() [1/2]

frame_reft::frame_reft ( )
inline

Definition at line 25 of file solver_types.h.

◆ frame_reft() [2/2]

frame_reft::frame_reft ( std::size_t  __index)
inlineexplicit

Definition at line 28 of file solver_types.h.

Friends And Related Function Documentation

◆ operator==

bool operator== ( const frame_reft &  a,
const frame_reft &  b 
)
friend

Definition at line 32 of file solver_types.h.

Member Data Documentation

◆ index

std::size_t frame_reft::index

Definition at line 31 of file solver_types.h.

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