ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
c_qualifierst Class Reference

#include <c_qualifiers.h>

Public Member Functions

 c_qualifierst ()
 c_qualifierst (const typet &src)
void clear ()
std::string as_string () const
void read (const typet &src)
void write (typet &src) const
bool is_subset_of (const c_qualifierst &q) const
bool is_empty () const

Static Public Member Functions

static void clear (typet &dest)

Public Attributes

bool is_constant
bool is_volatile
bool is_restricted

Friends

bool operator== (const c_qualifierst &a, const c_qualifierst &b)
bool operator!= (const c_qualifierst &a, const c_qualifierst &b)
unsigned count (const c_qualifierst &q)

Constructor & Destructor Documentation

◆ c_qualifierst() [1/2]

c_qualifierst::c_qualifierst ( )
inline

◆ c_qualifierst() [2/2]

c_qualifierst::c_qualifierst ( const typet & src)
inline

Member Function Documentation

◆ as_string()

std::string c_qualifierst::as_string ( ) const

◆ clear() [1/2]

void c_qualifierst::clear ( )
inline

◆ clear() [2/2]

void c_qualifierst::clear ( typet & dest)
static

◆ is_empty()

bool c_qualifierst::is_empty ( ) const
inline

◆ is_subset_of()

bool c_qualifierst::is_subset_of ( const c_qualifierst & q) const
inline

◆ read()

void c_qualifierst::read ( const typet & src)

◆ write()

void c_qualifierst::write ( typet & src) const

◆ count

unsigned count ( const c_qualifierst & q)
friend

◆ operator!=

bool operator!= ( const c_qualifierst & a,
const c_qualifierst & b )
friend

◆ operator==

bool operator== ( const c_qualifierst & a,
const c_qualifierst & b )
friend

Member Data Documentation

◆ is_constant

bool c_qualifierst::is_constant

◆ is_restricted

bool c_qualifierst::is_restricted

◆ is_volatile

bool c_qualifierst::is_volatile

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