17 using IntervalVector = Eigen::Matrix<
Interval,-1,1>;
19 inline std::ostream&
operator<<(std::ostream& os,
const IntervalVector& x)
22 return os <<
"[ empty vector ]";
26 os << x.format(codac_vector_fmt());
Interval class, for representing closed and connected subsets of .
Definition codac2_Interval.h:62
std::ostream & operator<<(std::ostream &os, const BoolInterval &x)
Streams out a BoolInterval.
Definition codac2_BoolInterval.h:45