CBMC
Loading...
Searching...
No Matches
configt::bv_encodingt Struct Reference

#include <config.h>

Public Attributes

std::size_t object_bits = 8
 
bool is_object_bits_default = true
 

Detailed Description

Definition at line 364 of file config.h.

Member Data Documentation

◆ is_object_bits_default

bool configt::bv_encodingt::is_object_bits_default = true

Definition at line 368 of file config.h.

◆ object_bits

std::size_t configt::bv_encodingt::object_bits = 8

Definition at line 367 of file config.h.


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