stabilizer_handle Struct Reference

Collaboration diagram for stabilizer_handle:

Public Member Functions
	stabilizer_handle (const stabilizer_options *options)

Public Attributes
stabilizer::api::SMTStabilizer	stabilizer
std::string	last_error

Detailed Description

Definition at line 37 of file c_api.cpp.

Constructor & Destructor Documentation

stabilizer_handle()

stabilizer_handle::stabilizer_handle ( const stabilizer_options *  options )

inlineexplicit

Definition at line 41 of file c_api.cpp.

Member Data Documentation

last_error

std::string stabilizer_handle::last_error

Definition at line 39 of file c_api.cpp.

Referenced by stabilizer_apply_file(), stabilizer_apply_text(), and stabilizer_last_error().

stabilizer

stabilizer::api::SMTStabilizer stabilizer_handle::stabilizer

Definition at line 38 of file c_api.cpp.

Referenced by stabilizer_apply_file(), stabilizer_apply_text(), stabilizer_get_context_propagation(), stabilizer_get_rewrite(), and stabilizer_get_subgraph_pruning().

---

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

• src/api/c_api.cpp