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);
450 int offset(
void)
const;
462 #ifdef GECODE_HAS_CBS 463 int baseval(
int val)
const;
468 unsigned int size(
void)
const;
470 unsigned int width(
void)
const;
472 unsigned int regret_min(
void)
const;
474 unsigned int regret_max(
void)
const;
479 bool range(
void)
const;
483 bool in(
int n)
const;
485 bool in(
long long int n)
const;
585 template<
class Char,
class Traits>
586 std::basic_ostream<Char,Traits>&
587 operator <<(std::basic_ostream<Char,Traits>& os,
const OffsetView&
x);
612 int offset(
void)
const;
648 int offset(
void)
const;
688 template<
class Val,
class UnsVal>
705 int scale(
void)
const;
715 #ifdef GECODE_HAS_CBS 716 Val baseval(Val val)
const;
721 UnsVal
size(
void)
const;
723 UnsVal width(
void)
const;
725 UnsVal regret_min(
void)
const;
727 UnsVal regret_max(
void)
const;
732 bool range(
void)
const;
735 bool in(Val
n)
const;
767 UnsVal width(
const Delta&
d)
const;
795 template<
class Char,
class Traits>
796 std::basic_ostream<Char,Traits>&
797 operator <<(std::basic_ostream<Char,Traits>& os,
const IntScaleView&
x);
803 template<
class Char,
class Traits>
804 std::basic_ostream<Char,Traits>&
805 operator <<(std::basic_ostream<Char,Traits>& os,
const LLongScaleView&
x);
811 template<
class Val,
class UnsVal>
815 template<
class Val,
class UnsVal>
852 unsigned int size(
void)
const;
854 unsigned int width(
void)
const;
856 unsigned int regret_min(
void)
const;
858 unsigned int regret_max(
void)
const;
863 bool range(
void)
const;
866 bool in(
int n)
const;
868 bool in(
long long int n)
const;
946 unsigned int width(
const Delta&
d)
const;
962 template<
class Char,
class Traits>
963 std::basic_ostream<Char,Traits>&
964 operator <<(std::basic_ostream<Char,Traits>& os,
const ConstIntView&
x);
1000 int med(
void)
const;
1002 int val(
void)
const;
1005 unsigned int size(
void)
const;
1007 unsigned int width(
void)
const;
1009 unsigned int regret_min(
void)
const;
1011 unsigned int regret_max(
void)
const;
1016 bool range(
void)
const;
1019 bool in(
int n)
const;
1021 bool in(
long long int n)
const;
1099 unsigned int width(
const Delta& d)
const;
1109 template<
class Char,
class Traits>
1110 std::basic_ostream<Char,Traits>&
1111 operator <<(std::basic_ostream<Char,Traits>& os,
const ZeroIntView&
x);
1134 template<
class View>
1156 int min(
void)
const;
1159 int max(
void)
const;
1161 int med(
void)
const;
1163 int val(
void)
const;
1164 #ifdef GECODE_HAS_CBS 1165 int baseval(
int val)
const;
1170 unsigned int size(
void)
const;
1172 unsigned int width(
void)
const;
1174 unsigned int regret_min(
void)
const;
1176 unsigned int regret_max(
void)
const;
1181 bool range(
void)
const;
1185 bool in(
int n)
const;
1187 bool in(
long long int n)
const;
1271 unsigned int width(
const Delta&
d)
const;
1281 void cache(
Space& home);
1283 bool modified(
void)
const;
1297 template<
class Char,
class Traits,
class View>
1298 std::basic_ostream<Char,Traits>&
1305 template<
class View>
1309 template<
class View>
1321 template<
class View>
1379 int min(
void)
const;
1382 int max(
void)
const;
1384 int med(
void)
const;
1386 int val(
void)
const;
1387 #ifdef GECODE_HAS_CBS 1388 int baseval(
int val)
const;
1393 unsigned int size(
void)
const;
1395 unsigned int width(
void)
const;
1397 unsigned int regret_min(
void)
const;
1399 unsigned int regret_max(
void)
const;
1404 bool range(
void)
const;
1407 bool in(
int n)
const;
1409 bool in(
long long int n)
const;
1414 bool zero(
void)
const;
1417 bool one(
void)
const;
1419 bool none(
void)
const;
1509 unsigned int width(
const Delta&
d)
const;
1513 static bool zero(
const Delta&
d);
1529 template<
class Char,
class Traits>
1530 std::basic_ostream<Char,Traits>&
1531 operator <<(std::basic_ostream<Char,Traits>& os,
const BoolView&
x);
1571 bool zero(
void)
const;
1574 bool one(
void)
const;
1576 bool none(
void)
const;
1593 int min(
void)
const;
1596 int max(
void)
const;
1598 int val(
void)
const;
1599 #ifdef GECODE_HAS_CBS 1600 int baseval(
int val)
const;
1612 unsigned int width(
const Delta&
d)
const;
1616 static bool zero(
const Delta&
d);
1626 template<
class Char,
class Traits>
1627 std::basic_ostream<Char,Traits>&
1628 operator <<(std::basic_ostream<Char,Traits>& os,
const NegBoolView&
x);
1651 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.
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.
bool before(const CachedView< View > &x, const CachedView< View > &y)
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.
bool same(const CachedView< View > &x, const CachedView< View > &y)
Gecode::FloatVal c(-8, 8)
View ViewType
The view type.
static const BoolStatus ZERO
Status of domain assigned to zero.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
RelTest
Result of testing relation.
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 .
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
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
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.