ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
int.int Class Reference

Public Member Functions

int from_bytes (cls, bytes bytes_data, bool byteorder=True, bool signed=False)
int bit_length (cls, IntWide n)
int bit_count (cls, IntWide n)
int conjugate (cls, int n)

Member Function Documentation

◆ bit_count()

int int.int.bit_count ( cls,
IntWide n )

◆ bit_length()

int int.int.bit_length ( cls,
IntWide n )

◆ conjugate()

int int.int.conjugate ( cls,
int n )

◆ from_bytes()

int int.int.from_bytes ( cls,
bytes bytes_data,
bool byteorder = True,
bool signed = False )

The documentation for this class was generated from the following file:
  • src/python-frontend/models/int.py