cprover
|
#include <goto_trace.h>
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 () | |
Definition at line 211 of file goto_trace.h.
|
inlineexplicit |
Definition at line 217 of file goto_trace.h.
References optionst::get_bool_option(), and json_full_lhs.
|
inlineprivate |
Definition at line 223 of file goto_trace.h.
References json_full_lhs.
|
static |
Definition at line 215 of file goto_trace.h.
bool trace_optionst::json_full_lhs |
Definition at line 213 of file goto_trace.h.
Referenced by convert_decl(), and trace_optionst().