cprover
Loading...
Searching...
No Matches
smt_indext::storert< derivedt > Class Template Reference

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

#include <smt_index.h>

Inheritance diagram for smt_indext::storert< derivedt >:

Protected Member Functions

 storert ()

Static Protected Member Functions

static irept upcast (smt_indext index)
static const smt_indextdowncast (const irept &)

Detailed Description

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

Class for adding the ability to up and down cast smt_indext 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 36 of file smt_index.h.

Constructor & Destructor Documentation

◆ storert()

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

Definition at line 49 of file smt_index.h.

Member Function Documentation

◆ downcast()

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

Definition at line 64 of file smt_index.h.

◆ upcast()

template<typename derivedt>
irept smt_indext::storert< derivedt >::upcast ( smt_indext index)
staticprotected

Definition at line 58 of file smt_index.h.


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