CBMC
Protected Member Functions | Static Protected Member Functions | List of all members
smt_check_sat_response_kindt::storert< derivedt > Class Template Reference

Class for adding the ability to up and down cast smt_check_sat_response_kindt to and from irept. More...

#include <smt_responses.h>

+ Inheritance diagram for smt_check_sat_response_kindt::storert< derivedt >:

Protected Member Functions

 storert ()
 

Static Protected Member Functions

static irept upcast (smt_check_sat_response_kindt check_sat_response_kind)
 
static const smt_check_sat_response_kindt & downcast (const irept &)
 

Detailed Description

template<typename derivedt>
class smt_check_sat_response_kindt::storert< derivedt >

Class for adding the ability to up and down cast smt_check_sat_response_kindt to and from irept.

These casts are required by other irept derived classes in order to store instances of smt_termt inside them.

Template Parameters
derivedtThe type of class which derives from this class and from irept.

Definition at line 56 of file smt_responses.h.

Constructor & Destructor Documentation

◆ storert()

template<typename derivedt >
smt_check_sat_response_kindt::storert< derivedt >::storert ( )
protected

Definition at line 74 of file smt_responses.cpp.

Member Function Documentation

◆ downcast()

template<typename derivedt >
const smt_check_sat_response_kindt & smt_check_sat_response_kindt::storert< derivedt >::downcast ( const irept &  irep)
staticprotected

Definition at line 91 of file smt_responses.cpp.

◆ upcast()

template<typename derivedt >
irept smt_check_sat_response_kindt::storert< derivedt >::upcast ( smt_check_sat_response_kindt  check_sat_response_kind)
staticprotected

Definition at line 83 of file smt_responses.cpp.

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