Public Member Functions

api_optionst & simplify (bool on)

api_optionst & drop_unused_functions (bool on)

api_optionst & validate_goto_model (bool on)

std::unique_ptr< optionst > to_engine_options () const

Static Public Member Functions

static api_optionst create ()

Private Member Functions

api_optionst ()=default

Private Attributes

bool simplify_enabled

bool drop_unused_functions_enabled

bool validate_goto_model_enabled

Detailed Description

Definition at line 10 of file api_options.h.

Constructor & Destructor Documentation

◆ api_optionst()

api_optionst::api_optionst ( )

privatedefault

Member Function Documentation

◆ create()

api_optionst api_optionst::create ( )

static

Definition at line 11 of file api_options.cpp.

◆ drop_unused_functions()

api_optionst & api_optionst::drop_unused_functions ( bool on )

Definition at line 35 of file api_options.cpp.

◆ simplify()

api_optionst & api_optionst::simplify ( bool on )

Definition at line 29 of file api_options.cpp.

◆ to_engine_options()

std::unique_ptr< optionst > api_optionst::to_engine_options ( ) const

Definition at line 47 of file api_options.cpp.

◆ validate_goto_model()

api_optionst & api_optionst::validate_goto_model ( bool on )

Definition at line 41 of file api_options.cpp.

Member Data Documentation

◆ drop_unused_functions_enabled

bool api_optionst::drop_unused_functions_enabled

private

Definition at line 16 of file api_options.h.

◆ simplify_enabled

bool api_optionst::simplify_enabled

private

Definition at line 13 of file api_options.h.

◆ validate_goto_model_enabled

bool api_optionst::validate_goto_model_enabled

private

Definition at line 19 of file api_options.h.

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

/home/runner/work/cbmc/cbmc/src/libcprover-cpp/api_options.h
/home/runner/work/cbmc/cbmc/src/libcprover-cpp/api_options.cpp