SMTStabilizer API
Public API documentation for SMTStabilizer
Loading...
Searching...
No Matches
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


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