Loading...

Searching...

No Matches

boolbv_widtht Class Reference

#include <boolbv_width.h>

+ Collaboration diagram for boolbv_widtht:

[フレーム]

[legend]

Classes

struct defined_entryt

struct membert

Public Member Functions

boolbv_widtht (const namespacet &_ns)

virtual ~boolbv_widtht ()=default

virtual std::size_t operator() (const typet &type) const

virtual std::optional< std::size_t > get_width_opt (const typet &type) const

const membert & get_member (const struct_typet &type, const irep_idt &member) const

Protected Types

using entryt = std::optional< defined_entryt >

typedef std::unordered_map< typet, entryt, irep_hash > cachet

Protected Member Functions

const entryt & get_entry (const typet &type) const

Protected Attributes

const namespacet & ns

cachet cache

Detailed Description

Definition at line 18 of file boolbv_width.h.

Member Typedef Documentation

◆ cachet

typedef std::unordered_map<typet, entryt, irep_hash> boolbv_widtht::cachet

protected

Definition at line 61 of file boolbv_width.h.

◆ entryt

using boolbv_widtht::entryt = std::optional<defined_entryt>

protected

Definition at line 59 of file boolbv_width.h.

Constructor & Destructor Documentation

◆ boolbv_widtht()

boolbv_widtht::boolbv_widtht ( const namespacet & _ns )

explicit

Definition at line 19 of file boolbv_width.cpp.

◆ ~boolbv_widtht()

virtual boolbv_widtht::~boolbv_widtht ( )

virtualdefault

Member Function Documentation

◆ get_entry()

const boolbv_widtht::entryt & boolbv_widtht::get_entry ( const typet & type ) const

protected

Definition at line 23 of file boolbv_width.cpp.

◆ get_member()

const boolbv_widtht::membert & boolbv_widtht::get_member ( const struct_typet & type,

const irep_idt & member

) const

Definition at line 226 of file boolbv_width.cpp.

◆ get_width_opt()

virtual std::optional< std::size_t > boolbv_widtht::get_width_opt ( const typet & type ) const

inlinevirtual

Definition at line 31 of file boolbv_width.h.

◆ operator()()

virtual std::size_t boolbv_widtht::operator() ( const typet & type ) const

inlinevirtual

Definition at line 24 of file boolbv_width.h.

Member Data Documentation

◆ cache

cachet boolbv_widtht::cache

mutableprotected

Definition at line 64 of file boolbv_width.h.

◆ ns

const namespacet& boolbv_widtht::ns

protected

Definition at line 48 of file boolbv_width.h.

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

/home/runner/work/cbmc/cbmc/src/solvers/flattening/boolbv_width.h
/home/runner/work/cbmc/cbmc/src/solvers/flattening/boolbv_width.cpp