cprover
detail::always_falset< T > Struct Template Reference

#include <invariant.h>

+ Inheritance diagram for detail::always_falset< T >:
+ Collaboration diagram for detail::always_falset< T >:

Detailed Description

template<typename T>
struct detail::always_falset< T >

Definition at line 290 of file invariant.h.


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