cprover
configt::bv_encodingt Struct Reference

#include <config.h>

Public Attributes

std::size_t object_bits
 
bool is_object_bits_default
 

Static Public Attributes

static const std::size_t default_object_bits =8
 

Detailed Description

Definition at line 163 of file config.h.

Member Data Documentation

◆ default_object_bits

const std::size_t configt::bv_encodingt::default_object_bits =8
static

Definition at line 169 of file config.h.

◆ is_object_bits_default

bool configt::bv_encodingt::is_object_bits_default

Definition at line 167 of file config.h.

◆ object_bits

std::size_t configt::bv_encodingt::object_bits

Definition at line 166 of file config.h.


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