cprover
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 173 of file config.h.

Member Data Documentation

◆ is_object_bits_default

bool configt::bv_encodingt::is_object_bits_default = true

Definition at line 177 of file config.h.

◆ object_bits

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

Definition at line 176 of file config.h.


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