CBMC
Loading...
Searching...
No Matches
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 Symbol 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:

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