cprover
Loading...
Searching...
No Matches
smt_option_const_downcast_visitort Class Referenceabstract

#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

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