ctype.h File Reference

#include <__esbmc/stddefs.h>

Include dependency graph for ctype.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
__ESBMC_C_CPP_BEGIN int	islower (int c)
int	toupper (int c)
int	isdigit (int c)
int	isalpha (int c)
int	isalnum (int c)
int	isxdigit (int c)
int	isupper (int c)
int	tolower (int c)
int	isspace (int c)
int	iscntrl (int c)
int	ispunct (int c)
int	isprint (int c)
int	isgraph (int c)
int	isblank (int c)

Function Documentation

isalnum()

int isalnum

(

int

c

)

isalpha()

int isalpha

(

int

c

)

isblank()

int isblank

(

int

c

)

iscntrl()

int iscntrl

(

int

c

)

isdigit()

int isdigit

(

int

c

)

isgraph()

int isgraph

(

int

c

)

islower()

__ESBMC_C_CPP_BEGIN int islower

(

int

c

)

isprint()

int isprint

(

int

c

)

ispunct()

int ispunct

(

int

c

)

isspace()

int isspace

(

int

c

)

isupper()

int isupper

(

int

c

)

isxdigit()

int isxdigit

(

int

c

)

tolower()

int tolower

(

int

c

)

toupper()

int toupper

(

int

c

)