12 #ifndef __CODAC_SET_H__ 13 #define __CODAC_SET_H__ 46 {
return static_cast<int>(
static_cast<int>(a) & static_cast<int>(b)); }
58 {
return static_cast<SetValue>(
static_cast<int>(a) | static_cast<int>(b)); }
102 const IntervalVector& box()
const;
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9
IntervalVector m_box
box representing this set
Definition: codac_Set.h:114
SetValue
Defines a set of feasible values of a set.
Definition: codac_Set.h:26
Multi-dimensional interval-based representation of a set.
Definition: codac_Set.h:66
SetValue m_value
integer value of this set
Definition: codac_Set.h:113
const IntervalMatrix operator|(const IntervalMatrix &x, const IntervalMatrix &y)
const IntervalMatrix operator &(const IntervalMatrix &x, const IntervalMatrix &y)
does not have a meaning, only used for default values of arguments