smt_option_const_downcast_visitort Class Reference

#include <smt_options.h>

Inheritance diagram for smt_option_const_downcast_visitort:

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

Detailed Description

Definition at line 71 of file smt_options.h.

Member Function Documentation

visit()

virtual void smt_option_const_downcast_visitort::visit ( const smt_option_produce_modelst & )

pure virtual

Implemented in smt_option_to_string_convertert.

---

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

• solvers/smt2_incremental/ast/smt_options.h