ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
std::char_traits< charT > Struct Template Reference

#include <char_traits.h>

Public Types

typedef charT char_type
typedef int int_type
typedef std::ptrdiff_t off_type
typedef std::size_t pos_type

Public Member Functions

OM_CONSTEXPR bool eq (char c1, char c2) OM_NOEXCEPT
OM_CONSTEXPR bool lt (char c1, char c2) OM_NOEXCEPT

Static Public Member Functions

static void assign (char_type &c1, const char_type &c2) OM_NOEXCEPT
static char_type * assign (char_type *s, std::size_t n, char_type a)
static OM_CONSTEXPR bool eq (char_type c1, char_type c2) OM_NOEXCEPT
static OM_CONSTEXPR bool lt (char_type c1, char_type c2) OM_NOEXCEPT
static int compare (const char_type *s1, const char_type *s2, std::size_t n)
static OM_CONSTEXPR17 std::size_t length (const char_type *s)
static const char_type * find (const char_type *s, std::size_t n, const char_type &a)
static char_type * move (char_type *dest, const char_type *src, std::size_t n)
static char_type * copy (char_type *dest, const char_type *src, std::size_t n)
static OM_CONSTEXPR int_type eof () OM_NOEXCEPT
static OM_CONSTEXPR int_type to_int_type (char_type c) OM_NOEXCEPT
static OM_CONSTEXPR char_type to_char_type (int_type c) OM_NOEXCEPT
static OM_CONSTEXPR bool eq_int_type (int_type c1, int_type c2) OM_NOEXCEPT
static OM_CONSTEXPR int_type not_eof (int_type c) OM_NOEXCEPT

Member Typedef Documentation

◆ char_type

template<class charT>
typedef charT std::char_traits< charT >::char_type

◆ int_type

template<class charT>
typedef int std::char_traits< charT >::int_type

◆ off_type

template<class charT>
typedef std::ptrdiff_t std::char_traits< charT >::off_type

◆ pos_type

template<class charT>
typedef std::size_t std::char_traits< charT >::pos_type

Member Function Documentation

◆ assign() [1/2]

template<class charT>
void std::char_traits< charT >::assign ( char_type & c1,
const char_type & c2 )
inlinestatic

◆ assign() [2/2]

template<class charT>
char_type * std::char_traits< charT >::assign ( char_type * s,
std::size_t n,
char_type a )
inlinestatic

◆ compare()

template<class charT>
int std::char_traits< charT >::compare ( const char_type * s1,
const char_type * s2,
std::size_t n )
inlinestatic

◆ copy()

template<class charT>
char_type * std::char_traits< charT >::copy ( char_type * dest,
const char_type * src,
std::size_t n )
inlinestatic

◆ eof()

template<class charT>
OM_CONSTEXPR int_type std::char_traits< charT >::eof ( )
inlinestatic

◆ eq() [1/2]

OM_CONSTEXPR bool std::char_traits< char >::eq ( char c1,
char c2 )
inline

◆ eq() [2/2]

template<class charT>
OM_CONSTEXPR bool std::char_traits< charT >::eq ( char_type c1,
char_type c2 )
inlinestatic

◆ eq_int_type()

template<class charT>
OM_CONSTEXPR bool std::char_traits< charT >::eq_int_type ( int_type c1,
int_type c2 )
inlinestatic

◆ find()

template<class charT>
const char_type * std::char_traits< charT >::find ( const char_type * s,
std::size_t n,
const char_type & a )
inlinestatic

◆ length()

template<class charT>
OM_CONSTEXPR17 std::size_t std::char_traits< charT >::length ( const char_type * s)
inlinestatic

◆ lt() [1/2]

OM_CONSTEXPR bool std::char_traits< char >::lt ( char c1,
char c2 )
inline

◆ lt() [2/2]

template<class charT>
OM_CONSTEXPR bool std::char_traits< charT >::lt ( char_type c1,
char_type c2 )
inlinestatic

◆ move()

template<class charT>
char_type * std::char_traits< charT >::move ( char_type * dest,
const char_type * src,
std::size_t n )
inlinestatic

◆ not_eof()

template<class charT>
OM_CONSTEXPR int_type std::char_traits< charT >::not_eof ( int_type c)
inlinestatic

◆ to_char_type()

template<class charT>
OM_CONSTEXPR char_type std::char_traits< charT >::to_char_type ( int_type c)
inlinestatic

◆ to_int_type()

template<class charT>
OM_CONSTEXPR int_type std::char_traits< charT >::to_int_type ( char_type c)
inlinestatic
The documentation for this struct was generated from the following file: