call_checkt< Base, T > Struct Template Reference

#include <validate_helpers.h>

Public Member Functions
void	operator() (const Base &base, const validation_modet vm)

Detailed Description

template<typename Base, typename T>
struct call_checkt< Base, T >

Definition at line 18 of file validate_helpers.h.

Member Function Documentation

operator()()

template<typename Base , typename T >

void call_checkt< Base, T >::operator() ( const Base &  base, const validation_modet  vm  )

inline

Definition at line 24 of file validate_helpers.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/validate_helpers.h