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 98 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 100 of file smt_to_smt2_string.cpp.

---

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

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