codac2::SepChi Class Reference

A separator on the Chi constraint If [x] in Sa, then Sb, else Sc. More...

#include <codac2_SepChi.h>

Detailed Description

A separator on the Chi constraint If [x] in Sa, then Sb, else Sc.

---

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

• /home/simon/codac-simon/src/core/separators/codac2_SepChi.h