smt_logict::storert< derivedt > Class Template Reference

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

#include <smt_logics.h>

Inheritance diagram for smt_logict::storert< derivedt >:

Protected Member Functions
	storert ()

Static Protected Member Functions
static irept	upcast (smt_logict logic)
static const smt_logict &	downcast (const irept &)

Detailed Description

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

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

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

Template Parameters

derivedt

The type of class which derives from this class and from irept.

Definition at line 31 of file smt_logics.h.

Constructor & Destructor Documentation

storert()

template<typename derivedt >

smt_logict::storert< derivedt >::storert ( )

protected

Definition at line 44 of file smt_logics.h.

Member Function Documentation

downcast()

template<typename derivedt >

const smt_logict & smt_logict::storert< derivedt >::downcast ( const irept &  irep )

staticprotected

Definition at line 59 of file smt_logics.h.

upcast()

template<typename derivedt >

irept smt_logict::storert< derivedt >::upcast ( smt_logict  logic )

staticprotected

Definition at line 53 of file smt_logics.h.

---

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

• /home/runner/work/cbmc/cbmc/src/solvers/smt2_incremental/ast/smt_logics.h