cprover
smt2_incremental_decision_proceduret::sequencet Class Reference

#include <smt2_incremental_decision_procedure.h>

Public Member Functions

size_t operator() ()
 

Private Attributes

size_t next_id = 0
 

Detailed Description

Definition at line 66 of file smt2_incremental_decision_procedure.h.

Member Function Documentation

◆ operator()()

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

Definition at line 71 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 68 of file smt2_incremental_decision_procedure.h.


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