ir_ieee_convt::ra_interval_t Struct Reference

Interval [lo, hi] in the real-arithmetic SMT encoding. More...

#include <ir_ieee_conv.h>

Public Attributes
smt_astt	lo
smt_astt	hi

Detailed Description

Interval [lo, hi] in the real-arithmetic SMT encoding.

Member Data Documentation

hi

smt_astt ir_ieee_convt::ra_interval_t::hi

lo

smt_astt ir_ieee_convt::ra_interval_t::lo

---

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

• src/solvers/smt/fp/ir_ieee_conv.h