solidity_units.c File Reference

#include "solidity_types.h"

Include dependency graph for solidity_units.c:

Functions
uint256_t	_ESBMC_wei (uint256_t x)
uint256_t	_ESBMC_gwei (uint256_t x)
uint256_t	_ESBMC_szabo (uint256_t x)
uint256_t	_ESBMC_finney (uint256_t x)
uint256_t	_ESBMC_ether (uint256_t x)
uint256_t	_ESBMC_seconds (uint256_t x)
uint256_t	_ESBMC_minutes (uint256_t x)
uint256_t	_ESBMC_hours (uint256_t x)
uint256_t	_ESBMC_days (uint256_t x)
uint256_t	_ESBMC_weeks (uint256_t x)
uint256_t	_ESBMC_years (uint256_t x)

Function Documentation

_ESBMC_days()

uint256_t _ESBMC_days

(

uint256_t

x

)

_ESBMC_ether()

uint256_t _ESBMC_ether

(

uint256_t

x

)

_ESBMC_finney()

uint256_t _ESBMC_finney

(

uint256_t

x

)

_ESBMC_gwei()

uint256_t _ESBMC_gwei

(

uint256_t

x

)

_ESBMC_hours()

uint256_t _ESBMC_hours

(

uint256_t

x

)

_ESBMC_minutes()

uint256_t _ESBMC_minutes

(

uint256_t

x

)

_ESBMC_seconds()

uint256_t _ESBMC_seconds

(

uint256_t

x

)

_ESBMC_szabo()

uint256_t _ESBMC_szabo

(

uint256_t

x

)

_ESBMC_weeks()

uint256_t _ESBMC_weeks

(

uint256_t

x

)

_ESBMC_wei()

uint256_t _ESBMC_wei

(

uint256_t

x

)

_ESBMC_years()

uint256_t _ESBMC_years

(

uint256_t

x

)