ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
irep_idt Class Referencefinal

#include <irep_idt.h>

Public Member Functions

constexpr irep_idt ()
 irep_idt (const char *s)
 irep_idt (const std::string &s)
 irep_idt (const irep_idt &)=default
constexpr irep_idt (irep_idt &&other)
 source object other, this is effectively just a copy constructor.
bool empty () const
char operator[] (size_t i) const
const char * c_str () const
size_t size () const
bool operator< (const irep_idt &b) const
bool operator== (const irep_idt &b) const
bool operator!= (const irep_idt &b) const
bool operator== (const char *b) const
bool operator!= (const char *b) const
bool operator== (const std::string &b) const
bool operator!= (const std::string &b) const
bool operator< (const std::string &b) const
bool operator> (const std::string &b) const
bool operator<= (const std::string &b) const
bool operator>= (const std::string &b) const
int compare (const irep_idt &b) const
const std::string & as_string () const
void clear ()
void swap (irep_idt &b)
irep_idt & operator= (const irep_idt &b)=default
irep_idt & operator= (irep_idt &&other)=default
std::ostream & operator<< (std::ostream &out) const
unsigned get_no () const
size_t hash () const

Static Public Member Functions

static constexpr irep_idt make_from_table_index (unsigned no)

Friends

bool has_prefix (const irep_idt &s, std::string_view prefix)
bool has_suffix (const irep_idt &s, std::string_view suffix)

Constructor & Destructor Documentation

◆ irep_idt() [1/5]

irep_idt::irep_idt ( )
inlineconstexpr

◆ irep_idt() [2/5]

irep_idt::irep_idt ( const char * s)
inline

◆ irep_idt() [3/5]

irep_idt::irep_idt ( const std::string & s)
inline

◆ irep_idt() [4/5]

irep_idt::irep_idt ( const irep_idt & )
default

◆ irep_idt() [5/5]

irep_idt::irep_idt ( irep_idt && other)
inlineconstexpr

source object other, this is effectively just a copy constructor.

Member Function Documentation

◆ as_string()

const std::string & irep_idt::as_string ( ) const
inline

◆ c_str()

const char * irep_idt::c_str ( ) const
inline

◆ clear()

void irep_idt::clear ( )
inline

◆ compare()

int irep_idt::compare ( const irep_idt & b) const
inline

◆ empty()

bool irep_idt::empty ( ) const
inline

◆ get_no()

unsigned irep_idt::get_no ( ) const
inline

◆ hash()

size_t irep_idt::hash ( ) const
inline

◆ make_from_table_index()

constexpr irep_idt irep_idt::make_from_table_index ( unsigned no)
inlinestaticconstexpr

◆ operator!=() [1/3]

bool irep_idt::operator!= ( const char * b) const
inline

◆ operator!=() [2/3]

bool irep_idt::operator!= ( const irep_idt & b) const
inline

◆ operator!=() [3/3]

bool irep_idt::operator!= ( const std::string & b) const
inline

◆ operator<() [1/2]

bool irep_idt::operator< ( const irep_idt & b) const
inline

◆ operator<() [2/2]

bool irep_idt::operator< ( const std::string & b) const
inline

◆ operator<<()

std::ostream & irep_idt::operator<< ( std::ostream & out) const
inline

◆ operator<=()

bool irep_idt::operator<= ( const std::string & b) const
inline

◆ operator=() [1/2]

irep_idt & irep_idt::operator= ( const irep_idt & b)
inlinedefault

◆ operator=() [2/2]

irep_idt & irep_idt::operator= ( irep_idt && other)
inlinedefault

◆ operator==() [1/3]

bool irep_idt::operator== ( const char * b) const
inline

◆ operator==() [2/3]

bool irep_idt::operator== ( const irep_idt & b) const
inline

◆ operator==() [3/3]

bool irep_idt::operator== ( const std::string & b) const
inline

◆ operator>()

bool irep_idt::operator> ( const std::string & b) const
inline

◆ operator>=()

bool irep_idt::operator>= ( const std::string & b) const
inline

◆ operator[]()

char irep_idt::operator[] ( size_t i) const
inline

◆ size()

size_t irep_idt::size ( ) const
inline

◆ swap()

void irep_idt::swap ( irep_idt & b)
inline

◆ has_prefix

bool has_prefix ( const irep_idt & s,
std::string_view prefix )
friend

◆ has_suffix

bool has_suffix ( const irep_idt & s,
std::string_view suffix )
friend

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