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

Functions

uint32_t htonl (uint32_t hostlong)
uint16_t htons (uint16_t hostshort)
uint32_t ntohl (uint32_t netlong)
uint16_t ntohs (uint16_t netshort)

Function Documentation

◆ htonl()

uint32_t htonl ( uint32_t hostlong)

◆ htons()

uint16_t htons ( uint16_t hostshort)

◆ ntohl()

uint32_t ntohl ( uint32_t netlong)

◆ ntohs()

uint16_t ntohs ( uint16_t netshort)