ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
wchar.c File Reference
#include <wchar.h>
Include dependency graph for wchar.c:

Functions

size_t wcslen (const wchar_t *s)
int wcscmp (const wchar_t *s1, const wchar_t *s2)
int wcsncmp (const wchar_t *s1, const wchar_t *s2, size_t n)
wchar_t * wcscpy (wchar_t *dst, const wchar_t *src)
wchar_t * wcsncpy (wchar_t *dst, const wchar_t *src, size_t n)
wchar_t * wcscat (wchar_t *dst, const wchar_t *src)
wchar_t * wcschr (const wchar_t *s, wchar_t c)
wchar_t * wcsrchr (const wchar_t *s, wchar_t c)
int wmemcmp (const wchar_t *s1, const wchar_t *s2, size_t n)
wchar_t * wmemcpy (wchar_t *dst, const wchar_t *src, size_t n)
wchar_t * wmemmove (wchar_t *dst, const wchar_t *src, size_t n)
wchar_t * wmemset (wchar_t *s, wchar_t c, size_t n)
wchar_t * wmemchr (const wchar_t *s, wchar_t c, size_t n)
int mbsinit (const mbstate_t *ps)
int vswprintf (wchar_t *ws, size_t len, const wchar_t *format, va_list arg)
int swprintf (wchar_t *ws, size_t len, const wchar_t *format,...)

Function Documentation

◆ mbsinit()

int mbsinit ( const mbstate_t * ps)

◆ swprintf()

int swprintf ( wchar_t * ws,
size_t len,
const wchar_t * format,
... )

◆ vswprintf()

int vswprintf ( wchar_t * ws,
size_t len,
const wchar_t * format,
va_list arg )

◆ wcscat()

wchar_t * wcscat ( wchar_t * dst,
const wchar_t * src )

◆ wcschr()

wchar_t * wcschr ( const wchar_t * s,
wchar_t c )

◆ wcscmp()

int wcscmp ( const wchar_t * s1,
const wchar_t * s2 )

◆ wcscpy()

wchar_t * wcscpy ( wchar_t * dst,
const wchar_t * src )

◆ wcslen()

size_t wcslen ( const wchar_t * s)

◆ wcsncmp()

int wcsncmp ( const wchar_t * s1,
const wchar_t * s2,
size_t n )

◆ wcsncpy()

wchar_t * wcsncpy ( wchar_t * dst,
const wchar_t * src,
size_t n )

◆ wcsrchr()

wchar_t * wcsrchr ( const wchar_t * s,
wchar_t c )

◆ wmemchr()

wchar_t * wmemchr ( const wchar_t * s,
wchar_t c,
size_t n )

◆ wmemcmp()

int wmemcmp ( const wchar_t * s1,
const wchar_t * s2,
size_t n )

◆ wmemcpy()

wchar_t * wmemcpy ( wchar_t * dst,
const wchar_t * src,
size_t n )

◆ wmemmove()

wchar_t * wmemmove ( wchar_t * dst,
const wchar_t * src,
size_t n )

◆ wmemset()

wchar_t * wmemset ( wchar_t * s,
wchar_t c,
size_t n )