Loading...

Searching...

No Matches

Classes | Public Types | Public Member Functions | Protected Attributes | List of all members

boolbv_mapt Class Reference

#include <boolbv_map.h>

+ Collaboration diagram for boolbv_mapt:

[フレーム]

[legend]

Classes

class map_entryt

Public Types

typedef std::unordered_map< irep_idt, map_entryt > mappingt

Public Member Functions

boolbv_mapt (propt &_prop)

void show (std::ostream &out) const

const bvt & get_literals (const irep_idt &identifier, const typet &type, std::size_t width)

void set_literals (const irep_idt &identifier, const typet &type, const bvt &literals)

void erase_literals (const irep_idt &identifier, const typet &type)

std::optional< std::reference_wrapper< const map_entryt > > get_map_entry (const irep_idt &identifier) const

const mappingt & get_mapping () const

Protected Attributes

mappingt mapping

propt & prop

Detailed Description

Definition at line 22 of file boolbv_map.h.

Member Typedef Documentation

◆ mappingt

typedef std::unordered_map<irep_idt, map_entryt> boolbv_mapt::mappingt

Definition at line 38 of file boolbv_map.h.

Constructor & Destructor Documentation

◆ boolbv_mapt()

boolbv_mapt::boolbv_mapt ( propt & _prop )

inlineexplicit

Definition at line 25 of file boolbv_map.h.

Member Function Documentation

◆ erase_literals()

void boolbv_mapt::erase_literals ( const irep_idt & identifier,

const typet & type

)

Definition at line 118 of file boolbv_map.cpp.

◆ get_literals()

const bvt & boolbv_mapt::get_literals ( const irep_idt & identifier,

const typet & type,

std::size_t width

)

Definition at line 41 of file boolbv_map.cpp.

◆ get_map_entry()

std::optional< std::reference_wrapper< const map_entryt > > boolbv_mapt::get_map_entry ( const irep_idt & identifier ) const

inline

Definition at line 57 of file boolbv_map.h.

◆ get_mapping()

const mappingt & boolbv_mapt::get_mapping ( ) const

inline

Definition at line 67 of file boolbv_map.h.

◆ set_literals()

void boolbv_mapt::set_literals ( const irep_idt & identifier,

const typet & type,

const bvt & literals

)

Definition at line 75 of file boolbv_map.cpp.

◆ show()

void boolbv_mapt::show ( std::ostream & out ) const

Definition at line 35 of file boolbv_map.cpp.

Member Data Documentation

◆ mapping

mappingt boolbv_mapt::mapping

protected

Definition at line 73 of file boolbv_map.h.

◆ prop

propt& boolbv_mapt::prop

protected

Definition at line 74 of file boolbv_map.h.

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

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