codac 1.5.6
Loading...
Searching...
No Matches
codac2_SepChi.h File Reference
#include <memory>
#include "codac2_Collection.h"
#include "codac2_IntervalVector.h"
#include "codac2_Sep.h"
#include "codac2_template_tools.h"
Include dependency graph for codac2_SepChi.h:

Go to the source code of this file.

Classes

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

Detailed Description

Date
2025
Author
Quentin Brateau
License: GNU Lesser General Public License (LGPL)