40 namespace Gecode {
namespace Int {
63 void init(
const View& x);
81 unsigned int width(
void)
const;
103 void init(
const View& x);
111 namespace Gecode {
namespace Int {
153 #ifdef GECODE_HAS_CBS 154 int baseval(
int val)
const;
159 unsigned int size(
void)
const;
161 unsigned int width(
void)
const;
163 unsigned int regret_min(
void)
const;
165 unsigned int regret_max(
void)
const;
170 bool range(
void)
const;
174 bool in(
int n)
const;
176 bool in(
long long int n)
const;
270 template<
class Char,
class Traits>
271 std::basic_ostream<Char,Traits>&
272 operator <<(std::basic_ostream<Char,Traits>& os,
const IntView&
x);
304 #ifdef GECODE_HAS_CBS 305 int baseval(
int val)
const;
310 unsigned int size(
void)
const;
312 unsigned int width(
void)
const;
314 unsigned int regret_min(
void)
const;
316 unsigned int regret_max(
void)
const;
321 bool range(
void)
const;
325 bool in(
int n)
const;
327 bool in(
long long int n)
const;
421 template<
class Char,
class Traits>
422 std::basic_ostream<Char,Traits>&
423 operator <<(std::basic_ostream<Char,Traits>& os,
const MinusView&
x);
459 int offset(
void)
const;
471 #ifdef GECODE_HAS_CBS 472 int baseval(
int val)
const;
477 unsigned int size(
void)
const;
479 unsigned int width(
void)
const;
481 unsigned int regret_min(
void)
const;
483 unsigned int regret_max(
void)
const;
488 bool range(
void)
const;
492 bool in(
int n)
const;
494 bool in(
long long int n)
const;
600 template<
class Char,
class Traits>
601 std::basic_ostream<Char,Traits>&
602 operator <<(std::basic_ostream<Char,Traits>& os,
const OffsetView&
x);
627 int offset(
void)
const;
663 int offset(
void)
const;
703 template<
class Val,
class UnsVal>
720 int scale(
void)
const;
730 #ifdef GECODE_HAS_CBS 731 Val baseval(Val val)
const;
736 UnsVal
size(
void)
const;
738 UnsVal width(
void)
const;
740 UnsVal regret_min(
void)
const;
742 UnsVal regret_max(
void)
const;
747 bool range(
void)
const;
750 bool in(Val
n)
const;
782 UnsVal width(
const Delta&
d)
const;
795 bool operator <(const ScaleView<Val,UnsVal>&
y)
const;
816 template<
class Char,
class Traits>
817 std::basic_ostream<Char,Traits>&
818 operator <<(std::basic_ostream<Char,Traits>& os,
const IntScaleView&
x);
824 template<
class Char,
class Traits>
825 std::basic_ostream<Char,Traits>&
826 operator <<(std::basic_ostream<Char,Traits>& os,
const LLongScaleView&
x);
832 template<
class Val,
class UnsVal>
837 template<
class Val,
class UnsVal>
875 unsigned int size(
void)
const;
877 unsigned int width(
void)
const;
879 unsigned int regret_min(
void)
const;
881 unsigned int regret_max(
void)
const;
886 bool range(
void)
const;
889 bool in(
int n)
const;
891 bool in(
long long int n)
const;
969 unsigned int width(
const Delta&
d)
const;
991 template<
class Char,
class Traits>
992 std::basic_ostream<Char,Traits>&
993 operator <<(std::basic_ostream<Char,Traits>& os,
const ConstIntView&
x);
1024 int min(
void)
const;
1027 int max(
void)
const;
1029 int med(
void)
const;
1031 int val(
void)
const;
1034 unsigned int size(
void)
const;
1036 unsigned int width(
void)
const;
1038 unsigned int regret_min(
void)
const;
1040 unsigned int regret_max(
void)
const;
1045 bool range(
void)
const;
1048 bool in(
int n)
const;
1050 bool in(
long long int n)
const;
1128 unsigned int width(
const Delta& d)
const;
1138 template<
class Char,
class Traits>
1139 std::basic_ostream<Char,Traits>&
1140 operator <<(std::basic_ostream<Char,Traits>& os,
const ZeroIntView&
x);
1165 template<
class View>
1187 int min(
void)
const;
1190 int max(
void)
const;
1192 int med(
void)
const;
1194 int val(
void)
const;
1195 #ifdef GECODE_HAS_CBS 1196 int baseval(
int val)
const;
1201 unsigned int size(
void)
const;
1203 unsigned int width(
void)
const;
1205 unsigned int regret_min(
void)
const;
1207 unsigned int regret_max(
void)
const;
1212 bool range(
void)
const;
1216 bool in(
int n)
const;
1218 bool in(
long long int n)
const;
1302 unsigned int width(
const Delta&
d)
const;
1312 void cache(
Space& home);
1314 bool modified(
void)
const;
1328 template<
class Char,
class Traits,
class View>
1329 std::basic_ostream<Char,Traits>&
1336 template<
class View>
1340 template<
class View>
1352 template<
class View>
1410 int min(
void)
const;
1413 int max(
void)
const;
1415 int med(
void)
const;
1417 int val(
void)
const;
1418 #ifdef GECODE_HAS_CBS 1419 int baseval(
int val)
const;
1424 unsigned int size(
void)
const;
1426 unsigned int width(
void)
const;
1428 unsigned int regret_min(
void)
const;
1430 unsigned int regret_max(
void)
const;
1435 bool range(
void)
const;
1438 bool in(
int n)
const;
1440 bool in(
long long int n)
const;
1445 bool zero(
void)
const;
1448 bool one(
void)
const;
1450 bool none(
void)
const;
1540 unsigned int width(
const Delta&
d)
const;
1544 static bool zero(
const Delta&
d);
1560 template<
class Char,
class Traits>
1561 std::basic_ostream<Char,Traits>&
1562 operator <<(std::basic_ostream<Char,Traits>& os,
const BoolView&
x);
1602 bool zero(
void)
const;
1605 bool one(
void)
const;
1607 bool none(
void)
const;
1624 int min(
void)
const;
1627 int max(
void)
const;
1629 int val(
void)
const;
1630 #ifdef GECODE_HAS_CBS 1631 int baseval(
int val)
const;
1643 unsigned int width(
const Delta&
d)
const;
1647 static bool zero(
const Delta&
d);
1667 template<
class Char,
class Traits>
1668 std::basic_ostream<Char,Traits>&
1669 operator <<(std::basic_ostream<Char,Traits>& os,
const NegBoolView&
x);
1692 namespace Gecode {
namespace Int {
int offset(void) const
Access offset.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
Scale integer view (template)
Relation may hold or not.
static const int BITS
How many bits does the status have.
bool operator==(const CachedView< View > &x, const CachedView< View > &y)
Offset(int off=0)
Constructor with offset off.
OffsetView ViewType
The view type.
bool one(const Gecode::FloatValArgs &a)
Check whether has only one coefficients.
RelTest rtest_eq_dom(VX x, VY y)
Test whether views x and y are equal (use full domain information)
RangeList * _lastRange
Last cached range.
Converter without offsets.
unsigned int BoolStatus
Type for status of a Boolean variable.
RelTest rtest_gq(VX x, VY y)
Test whether view x is greater or equal than view y.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
bool any(const View &x)
Test whether x is neither positive nor negative.
static const BoolStatus NONE
Status of domain not yet assigned.
ViewRanges(void)
Default constructor.
Range iterator for range lists
int ModEvent
Type for modification events.
static const BoolStatus NONE
Status of domain not yet assigned.
Value iterator for integer views.
RelTest rtest_le(VX x, VY y)
Test whether view x is less than view y.
int offset(void) const
Access offset.
Base-class for constant views.
void init(const View &x)
Initialize with ranges for view x.
Base-class for derived views.
Range iterator for integer views.
Boolean variable implementation.
static const BoolStatus ONE
Status of domain assigned to one.
RelTest rtest_lq(VX x, VY y)
Test whether view x is less or equal than view y.
Gecode::FloatVal c(-8, 8)
View ViewType
The view type.
static const BoolStatus ZERO
Status of domain assigned to zero.
int n
Number of negative literals for node type.
Gecode::IntArgs i({1, 2, 3, 4})
RelTest
Result of testing relation.
struct Gecode::@593::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Value iterator from range iterator.
unsigned int size(I &i)
Size of all ranges of range iterator i.
int min(void) const
Return smallest value of range.
void range(Home home, const IntVarArgs &x, SetVar y, SetVar z)
Post constraint .
Base-class for variable implementation views.
void update(const NoOffset &)
Update during cloning.
BoolTest bool_test(const BoolView &b0, const BoolView &b1)
void update(const Offset &o)
Update during cloning.
OffsetView operator()(IntView &x)
Return OffsetRefView for x.
RelTest rtest_nq_dom(VX x, VY y)
Test whether views x and y are different (use full domain information)
Same variable but complement.
Converter with fixed offset.
RelTest rtest_eq_bnd(VX x, VY y)
Test whether views x and y are equal (use bounds information)
Boolean integer variables.
static const BoolStatus ZERO
Status of domain assigned to zero.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
bool operator!=(const CachedView< View > &x, const CachedView< View > &y)
Integer view for integer variables.
Post propagator for SetVar SetOpType SetVar y
Integer variable implementation.
Generic domain change information to be supplied to advisors.
ScaleView< int, unsigned int > IntScaleView
Integer-precision integer scale view.
unsigned int _size
Size of cached domain.
bool operator()(void) const
Test whether iterator is still at a range or done.
RelTest rtest_nq_bnd(VX x, VY y)
Test whether views x and y are different (use bounds information)
View & operator()(View &x)
Pass through x.
void operator++(void)
Move iterator to next range (if possible)
int max(void) const
Return largest value of range.
Post propagator for SetVar x
bool operator<(const FloatVal &x, const FloatVal &y)
Lists of ranges (intervals)
static const BoolStatus ONE
Status of domain assigned to one.
Gecode toplevel namespace
Range iterator for computing set difference.
RelTest rtest_gr(VX x, VY y)
Test whether view x is greater than view y.
ScaleView< long long int, unsigned long long int > LLongScaleView
Long long-precision integer scale view.
int ModEventDelta
Modification event deltas.
static const int BITS
How many bits does the status have.
void update(IntSet &y, Space &home, IntSet &py)
Iter::Ranges::RangeList cr
Cached domain iterator.
Range iterator for cached integer views
RangeList * _firstRange
First cached range.
ViewRanges< View > dr
Current domain iterator.
Boolean view for Boolean variables.