ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
esbmct::member_traits< M C::* > Struct Template Reference

#include <irep2.h>

Public Types

using class_t = C
using member_t = M

Member Typedef Documentation

◆ class_t

template<class C, class M>
using esbmct::member_traits< M C::* >::class_t = C

◆ member_t

template<class C, class M>
using esbmct::member_traits< M C::* >::member_t = M

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