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

#include <cmath_lowering_policy.h>

Public Attributes

size_t node_count = 0
size_t depth = 0
size_t call_count = 0
size_t binop_count = 0

Member Data Documentation

◆ binop_count

size_t cmath_lowering_policy::expr_cost::binop_count = 0

◆ call_count

size_t cmath_lowering_policy::expr_cost::call_count = 0

◆ depth

size_t cmath_lowering_policy::expr_cost::depth = 0

◆ node_count

size_t cmath_lowering_policy::expr_cost::node_count = 0

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