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: