apron::unsat Struct Reference

Unsatisfiable constraint, to simplify initialisations and assignments. More...

#include <apxx_lincons0.hh>

Detailed Description

Unsatisfiable constraint, to simplify initialisations and assignments.

---

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

• /home/mine/apron/apronxx/apxx_lincons0.hh