stabilizer_options Struct Reference

Collaboration diagram for stabilizer_options:

Public Attributes
stabilizer::api::SMTStabilizerOptions	value

Detailed Description

Definition at line 33 of file c_api.cpp.

Member Data Documentation

value

stabilizer::api::SMTStabilizerOptions stabilizer_options::value

Definition at line 34 of file c_api.cpp.

Referenced by stabilizer_options_get_context_propagation(), stabilizer_options_get_rewrite(), stabilizer_options_get_subgraph_pruning(), stabilizer_options_set_context_propagation(), stabilizer_options_set_rewrite(), and stabilizer_options_set_subgraph_pruning().

---

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

• src/api/c_api.cpp