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

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)

◆ 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()

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)