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 {
155 unsigned int size(
void)
const;
157 unsigned int width(
void)
const;
159 unsigned int regret_min(
void)
const;
161 unsigned int regret_max(
void)
const;
166 bool range(
void)
const;
170 bool in(
int n)
const;
172 bool in(
long long int n)
const;
264 template<
class Char,
class Traits>
265 std::basic_ostream<Char,Traits>&
266 operator <<(std::basic_ostream<Char,Traits>& os,
const IntView&
x);
300 unsigned int size(
void)
const;
302 unsigned int width(
void)
const;
304 unsigned int regret_min(
void)
const;
306 unsigned int regret_max(
void)
const;
311 bool range(
void)
const;
315 bool in(
int n)
const;
317 bool in(
long long int n)
const;
409 template<
class Char,
class Traits>
410 std::basic_ostream<Char,Traits>&
411 operator <<(std::basic_ostream<Char,Traits>& os,
const MinusView&
x);
438 int offset(
void)
const;
452 unsigned int size(
void)
const;
454 unsigned int width(
void)
const;
456 unsigned int regret_min(
void)
const;
458 unsigned int regret_max(
void)
const;
463 bool range(
void)
const;
467 bool in(
int n)
const;
469 bool in(
long long int n)
const;
567 template<
class Char,
class Traits>
568 std::basic_ostream<Char,Traits>&
569 operator <<(std::basic_ostream<Char,Traits>& os,
const OffsetView&
x);
594 int offset(
void)
const;
628 void update(
const Offset& o);
630 int offset(
void)
const;
670 template<
class Val,
class UnsVal>
687 int scale(
void)
const;
699 UnsVal
size(
void)
const;
701 UnsVal width(
void)
const;
703 UnsVal regret_min(
void)
const;
705 UnsVal regret_max(
void)
const;
710 bool range(
void)
const;
713 bool in(Val
n)
const;
771 template<
class Char,
class Traits>
772 std::basic_ostream<Char,Traits>&
773 operator <<(std::basic_ostream<Char,Traits>& os,
const IntScaleView&
x);
779 template<
class Char,
class Traits>
780 std::basic_ostream<Char,Traits>&
781 operator <<(std::basic_ostream<Char,Traits>& os,
const LLongScaleView&
x);
787 template<
class Val,
class UnsVal>
791 template<
class Val,
class UnsVal>
828 unsigned int size(
void)
const;
830 unsigned int width(
void)
const;
832 unsigned int regret_min(
void)
const;
834 unsigned int regret_max(
void)
const;
839 bool range(
void)
const;
842 bool in(
int n)
const;
844 bool in(
long long int n)
const;
936 template<
class Char,
class Traits>
937 std::basic_ostream<Char,Traits>&
938 operator <<(std::basic_ostream<Char,Traits>& os,
const ConstIntView&
x);
979 unsigned int size(
void)
const;
981 unsigned int width(
void)
const;
983 unsigned int regret_min(
void)
const;
985 unsigned int regret_max(
void)
const;
990 bool range(
void)
const;
993 bool in(
int n)
const;
995 bool in(
long long int n)
const;
1081 template<
class Char,
class Traits>
1082 std::basic_ostream<Char,Traits>&
1083 operator <<(std::basic_ostream<Char,Traits>& os,
const ZeroIntView&
x);
1106 template<
class View>
1128 int min(
void)
const;
1131 int max(
void)
const;
1133 int med(
void)
const;
1135 int val(
void)
const;
1138 unsigned int size(
void)
const;
1140 unsigned int width(
void)
const;
1142 unsigned int regret_min(
void)
const;
1144 unsigned int regret_max(
void)
const;
1149 bool range(
void)
const;
1153 bool in(
int n)
const;
1155 bool in(
long long int n)
const;
1247 void cache(
Space& home);
1249 bool modified(
void)
const;
1263 template<
class Char,
class Traits,
class View>
1264 std::basic_ostream<Char,Traits>&
1271 template<
class View>
1275 template<
class View>
1287 template<
class View>
1345 int min(
void)
const;
1348 int max(
void)
const;
1350 int med(
void)
const;
1352 int val(
void)
const;
1355 unsigned int size(
void)
const;
1357 unsigned int width(
void)
const;
1359 unsigned int regret_min(
void)
const;
1361 unsigned int regret_max(
void)
const;
1366 bool range(
void)
const;
1369 bool in(
int n)
const;
1371 bool in(
long long int n)
const;
1376 bool zero(
void)
const;
1379 bool one(
void)
const;
1381 bool none(
void)
const;
1473 static bool zero(
const Delta&
d);
1489 template<
class Char,
class Traits>
1490 std::basic_ostream<Char,Traits>&
1491 operator <<(std::basic_ostream<Char,Traits>& os,
const BoolView&
x);
1531 bool zero(
void)
const;
1534 bool one(
void)
const;
1536 bool none(
void)
const;
1553 int min(
void)
const;
1556 int max(
void)
const;
1558 int val(
void)
const;
1570 static bool zero(
const Delta&
d);
1580 template<
class Char,
class Traits>
1581 std::basic_ostream<Char,Traits>&
1582 operator <<(std::basic_ostream<Char,Traits>& os,
const NegBoolView&
x);
1605 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 .
Integer view for integer variables.
Integer variable implementation.
Node * x
Pointer to corresponding Boolean expression node.
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.
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.
struct Gecode::@554::NNF::@60::@61 b
For binary nodes (and, or, eqv)
int ModEventDelta
Modification event deltas.
static const int BITS
How many bits does the status have.
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.