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
 

Static Public Attributes

static const trace_optionst default_options = trace_optionst()
 

Private Member Functions

 trace_optionst ()
 

Detailed Description

Definition at line 211 of file goto_trace.h.

Constructor & Destructor Documentation

◆ trace_optionst() [1/2]

trace_optionst::trace_optionst ( const optionst options)
inlineexplicit

Definition at line 217 of file goto_trace.h.

References optionst::get_bool_option(), and json_full_lhs.

◆ trace_optionst() [2/2]

trace_optionst::trace_optionst ( )
inlineprivate

Definition at line 223 of file goto_trace.h.

References json_full_lhs.

Member Data Documentation

◆ default_options

const trace_optionst trace_optionst::default_options = trace_optionst()
static

Definition at line 215 of file goto_trace.h.

◆ json_full_lhs

bool trace_optionst::json_full_lhs

Definition at line 213 of file goto_trace.h.

Referenced by convert_decl(), and trace_optionst().


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