ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
in6_addr Struct Reference

#include <in.h>

Public Attributes

union { 
   uint8_t   s6_addr [16] 
   uint16_t   s6_addr16 [8] 
   uint32_t   s6_addr32 [4] 
}; 

Member Data Documentation

◆ [union]

union { ... } in6_addr

◆ s6_addr

uint8_t in6_addr::s6_addr[16]

◆ s6_addr16

uint16_t in6_addr::s6_addr16[8]

◆ s6_addr32

uint32_t in6_addr::s6_addr32[4]

The documentation for this struct was generated from the following file:
  • src/c2goto/headers/netinet/in.h