api_optionst Class Reference

#include <api_options.h>

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