CBMC
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 tolower (int c)
 
int toupper (int c)
 

Function Documentation

◆ 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 100 of file ctype.c.

◆ toupper()

int toupper ( int  c)

Definition at line 105 of file ctype.c.