sorted_variablest Struct Reference

Collaboration diagram for sorted_variablest:

Public Attributes
std::vector< std::reference_wrapper< const smt_identifier_termt > >	identifiers

Detailed Description

Definition at line 99 of file smt_to_smt2_string.cpp.

Member Data Documentation

identifiers

std::vector<std::reference_wrapper<const smt_identifier_termt> > sorted_variablest::identifiers

Definition at line 101 of file smt_to_smt2_string.cpp.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/solvers/smt2_incremental/smt_to_smt2_string.cpp