CBMC
call_validate_fullt< Base, T > Struct Template Reference

#include <validate_helpers.h>

Public Member Functions

void operator() (const Base &base, const namespacet &ns, const validation_modet vm)
 

Detailed Description

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

Definition at line 45 of file validate_helpers.h.

Member Function Documentation

◆ operator()()

template<typename Base , typename T >
void call_validate_fullt< Base, T >::operator() ( const Base &  base,
const namespacet ns,
const validation_modet  vm 
)
inline

Definition at line 52 of file validate_helpers.h.


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