cprover
trace_optionst Struct Reference

#include <goto_trace.h>

Collaboration diagram for trace_optionst:
[legend]

Public Member Functions

 trace_optionst (const optionst &options)
 

Public Attributes

bool json_full_lhs
 
bool hex_representation
 
bool base_prefix
 
bool show_function_calls
 
bool show_code
 

Static Public Attributes

static const trace_optionst default_options = trace_optionst()
 

Private Member Functions

 trace_optionst ()
 

Detailed Description

Definition at line 198 of file goto_trace.h.

Constructor & Destructor Documentation

◆ trace_optionst() [1/2]

trace_optionst::trace_optionst ( const optionst options)
inlineexplicit

◆ trace_optionst() [2/2]

trace_optionst::trace_optionst ( )
inlineprivate

Member Data Documentation

◆ base_prefix

bool trace_optionst::base_prefix

Definition at line 202 of file goto_trace.h.

Referenced by numeric_representation(), and trace_optionst().

◆ default_options

const trace_optionst trace_optionst::default_options = trace_optionst()
static

Definition at line 206 of file goto_trace.h.

Referenced by show_goto_trace().

◆ hex_representation

bool trace_optionst::hex_representation

Definition at line 201 of file goto_trace.h.

Referenced by numeric_representation(), and trace_optionst().

◆ json_full_lhs

bool trace_optionst::json_full_lhs

Definition at line 200 of file goto_trace.h.

Referenced by convert_decl(), and trace_optionst().

◆ show_code

bool trace_optionst::show_code

Definition at line 204 of file goto_trace.h.

Referenced by show_state_header(), and trace_optionst().

◆ show_function_calls

bool trace_optionst::show_function_calls

Definition at line 203 of file goto_trace.h.

Referenced by show_goto_trace(), and trace_optionst().


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