smt2_incremental_decision_proceduret::sequencet Class Reference

Generators of sequences of uniquely identifying numbers used for naming SMT functions introduced by the decision procedure. More...

#include <smt2_incremental_decision_procedure.h>

Public Member Functions
size_t	operator() ()

Private Attributes
size_t	next_id = 0

Detailed Description

Generators of sequences of uniquely identifying numbers used for naming SMT functions introduced by the decision procedure.

Definition at line 137 of file smt2_incremental_decision_procedure.h.

Member Function Documentation

operator()()

size_t smt2_incremental_decision_proceduret::sequencet::operator() ( void  )

inline

Definition at line 142 of file smt2_incremental_decision_procedure.h.

Member Data Documentation

next_id

size_t smt2_incremental_decision_proceduret::sequencet::next_id = 0

private

Definition at line 139 of file smt2_incremental_decision_procedure.h.

---

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

• /home/runner/work/cbmc/cbmc/src/solvers/smt2_incremental/smt2_incremental_decision_procedure.h