ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
scalar_value Struct Reference
Public Attributes
bool
is_complex
=
false
std::complex< double >
value
= {0.0, 0.0}
Member Data Documentation
◆
is_complex
bool
scalar_value::is_complex =
false
◆
value
std::complex<double> scalar_value::value = {0.0, 0.0}
The documentation for this struct was generated from the following file:
src/python-frontend/numpy/
numpy_call_expr.cpp
scalar_value
Generated by
1.15.0