By-value structs

struct stp_budget

Public Members

bool has_time

uint64_t time_ms

0 means: give up at once; past the clock’s range (about 292 years), no limit

bool has_conflicts

uint64_t conflicts

struct stp_entailment

Public Members

stp_validity kind

stp_unknown_reason reason

struct stp_error

Public Members

stp_error_code code

bool recoverable

false only for RESOURCE and INTERNAL

const char *message

owned by the object that holds the record (a static string for an out-of-memory RESOURCE); valid until the record is cleared or the object dies

const char *function

the C API function that refused

int argument_index

0-based; -1 if not applicable

const char *option

the option name for OPTION_* codes; NULL otherwise

int line

int column

PARSE: 1-based line and column of the failure; 0 when unknown or another code

struct stp_float_value

Public Members

uint32_t exp_size

uint32_t sig_size

the format; sig_size includes the hidden bit

bool sign

uint64_t biased_exponent

exp_size bits

stp_fp_class cls

struct stp_result

Public Members

stp_result_kind kind

stp_unknown_reason reason

STP_REASON_NONE unless kind == STP_UNKNOWN

struct stp_version

Public Members

int major

int minor

int patch

const char *string

const char *git_sha

const char *git_tag

const char *build_info