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;
Multi-dimensional interval-based representation of a set.
Definition codac_Set.h:67
SetValue value() const
Returns the value of this set.
void set_value(SetValue value)
Sets the integer value for this set.
IntervalVector m_box
box representing this set
Definition codac_Set.h:114
SetValue m_value
integer value of this set
Definition codac_Set.h:113
Set(const IntervalVector &box, SetValue value=SetValue::UNKNOWN)
Creates a set.
const IntervalVector & box() const
Returns the n-dimensional box representing this set.
int size() const
Returns the dimension of the paving.
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition codac_capd_helpers.h:9
const IntervalMatrix operator&(const IntervalMatrix &x, const IntervalMatrix &y)
SetValue
Defines a set of feasible values of a set.
Definition codac_Set.h:27
@ PENUMBRA
inside the penumbra set
@ DEFAULT
does not have a meaning, only used for default values of arguments
@ UNKNOWN
unable to conclude
@ IN
inside the solution set
@ OUT
outside the solution set
const IntervalMatrix operator|(const IntervalMatrix &x, const IntervalMatrix &y)