smt_logic_const_downcast_visitort Class Reference

#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

Implemented in smt_logic_to_string_convertert.

visit() [2/6]

virtual void smt_logic_const_downcast_visitort::visit ( const smt_logic_quantifier_free_arrays_uninterpreted_functions_bit_vectorst & )

pure virtual

Implemented in smt_logic_to_string_convertert.

visit() [3/6]

virtual void smt_logic_const_downcast_visitort::visit ( const smt_logic_quantifier_free_bit_vectors_arrayst & )

pure virtual

Implemented in smt_logic_to_string_convertert.

visit() [4/6]

virtual void smt_logic_const_downcast_visitort::visit ( const smt_logic_quantifier_free_bit_vectorst & )

pure virtual

Implemented in smt_logic_to_string_convertert.

visit() [5/6]

virtual void smt_logic_const_downcast_visitort::visit ( const smt_logic_quantifier_free_uninterpreted_functions_bit_vectorst & )

pure virtual

Implemented in smt_logic_to_string_convertert.

visit() [6/6]

virtual void smt_logic_const_downcast_visitort::visit ( const smt_logic_quantifier_free_uninterpreted_functionst & )

pure virtual

Implemented in smt_logic_to_string_convertert.

---

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

• solvers/smt2_incremental/ast/smt_logics.h