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

#include <smt_logics.h>

Inheritance diagram for smt_logic_const_downcast_visitort:

Public Member Functions

virtual void visit (const smt_logic_quantifier_free_uninterpreted_functionst &)=0
virtual void visit (const smt_logic_quantifier_free_bit_vectorst &)=0
virtual void visit (const smt_logic_quantifier_free_uninterpreted_functions_bit_vectorst &)=0
virtual void visit (const smt_logic_quantifier_free_bit_vectors_arrayst &)=0
virtual void visit (const smt_logic_quantifier_free_arrays_uninterpreted_functions_bit_vectorst &)=0
virtual void visit (const smt_logic_allt &)=0

Detailed Description

Definition at line 74 of file smt_logics.h.

Member Function Documentation

◆ visit() [1/6]

virtual void smt_logic_const_downcast_visitort::visit ( const smt_logic_allt & )
pure virtual

◆ visit() [2/6]

virtual void smt_logic_const_downcast_visitort::visit ( const smt_logic_quantifier_free_arrays_uninterpreted_functions_bit_vectorst & )
pure virtual

◆ visit() [3/6]

virtual void smt_logic_const_downcast_visitort::visit ( const smt_logic_quantifier_free_bit_vectors_arrayst & )
pure virtual

◆ visit() [4/6]

virtual void smt_logic_const_downcast_visitort::visit ( const smt_logic_quantifier_free_bit_vectorst & )
pure virtual

◆ visit() [5/6]

virtual void smt_logic_const_downcast_visitort::visit ( const smt_logic_quantifier_free_uninterpreted_functions_bit_vectorst & )
pure virtual

◆ visit() [6/6]

virtual void smt_logic_const_downcast_visitort::visit ( const smt_logic_quantifier_free_uninterpreted_functionst & )
pure virtual

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