ctype.c File Reference

Go to the source code of this file.

Functions
int	isalnum (int c)
int	isalpha (int c)
int	isblank (int c)
int	iscntrl (int c)
int	isdigit (int c)
int	isgraph (int c)
int	islower (int c)
int	isprint (int c)
int	ispunct (int c)
int	isspace (int c)
int	isupper (int c)
int	isxdigit (int c)
int	__CPROVER_tolower (int c)
int	tolower (int c)
int	__tolower (int c)
int	__CPROVER_toupper (int c)
int	toupper (int c)
int	__toupper (int c)

Function Documentation

__CPROVER_tolower()

int __CPROVER_tolower

(

int

c

)

Definition at line 100 of file ctype.c.

__CPROVER_toupper()

int __CPROVER_toupper

(

int

c

)

Definition at line 125 of file ctype.c.

__tolower()

int __tolower

(

int

c

)

Definition at line 118 of file ctype.c.

__toupper()

int __toupper

(

int

c

)

Definition at line 143 of file ctype.c.

isalnum()

int isalnum

(

int

c

)

Definition at line 4 of file ctype.c.

isalpha()

int isalpha

(

int

c

)

Definition at line 9 of file ctype.c.

isblank()

int isblank

(

int

c

)

Definition at line 14 of file ctype.c.

iscntrl()

int iscntrl

(

int

c

)

Definition at line 19 of file ctype.c.

isdigit()

int isdigit

(

int

c

)

Definition at line 24 of file ctype.c.

isgraph()

int isgraph

(

int

c

)

Definition at line 29 of file ctype.c.

islower()

int islower

(

int

c

)

Definition at line 34 of file ctype.c.

isprint()

int isprint

(

int

c

)

Definition at line 39 of file ctype.c.

ispunct()

int ispunct

(

int

c

)

Definition at line 44 of file ctype.c.

isspace()

int isspace

(

int

c

)

Definition at line 80 of file ctype.c.

isupper()

int isupper

(

int

c

)

Definition at line 90 of file ctype.c.

isxdigit()

int isxdigit

(

int

c

)

Definition at line 95 of file ctype.c.

tolower()

int tolower

(

int

c

)

Definition at line 109 of file ctype.c.

toupper()

int toupper

(

int

c

)

Definition at line 134 of file ctype.c.