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

#include <numpy_reducer_shared.h>

Public Attributes

bool is_int = true
int64_t int_value = 0
double double_value = 0.0

Member Data Documentation

◆ double_value

double numeric_value::double_value = 0.0

◆ int_value

int64_t numeric_value::int_value = 0

◆ is_int

bool numeric_value::is_int = true

The documentation for this struct was generated from the following file: