smt_index_const_downcast_visitort Class Reference

#include <smt_index.h>

Inheritance diagram for smt_index_const_downcast_visitort:

Public Member Functions
virtual void	visit (const smt_numeral_indext &)=0
virtual void	visit (const smt_symbol_indext &)=0

Detailed Description

Definition at line 83 of file smt_index.h.

Member Function Documentation

visit() [1/2]

virtual void smt_index_const_downcast_visitort::visit ( const smt_numeral_indext &  )

pure virtual

Implemented in smt_index_output_visitort.

visit() [2/2]

virtual void smt_index_const_downcast_visitort::visit ( const smt_symbol_indext &  )

pure virtual

Implemented in smt_index_output_visitort.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/solvers/smt2_incremental/smt_index.h