stress-domain.cc
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038 #include "examples/support.hh"
00039
00046 class StressDomain : public Example {
00047 protected:
00049 IntVarArray x;
00050 public:
00052 StressDomain(const SizeOptions& opt)
00053 : x(this,5,0,5*opt.size()) {
00054
00055
00056 for (int i = 5; i--; ) {
00057 for (unsigned int j = 0; j <= 5*opt.size(); j++)
00058 rel(this, x[i], IRT_NQ, 5*j);
00059 for (unsigned int j = 0; j <= 5*opt.size(); j++)
00060 rel(this, x[i], IRT_NQ, 5*j+2);
00061 for (unsigned int j = 0; j <= 5*opt.size(); j++)
00062 rel(this, x[i], IRT_NQ, 5*j+4);
00063 }
00064
00065 for (unsigned int j = 0; j <= 5*opt.size()/2; j++)
00066 for (unsigned int i = 5; i--; ) {
00067 rel(this, x[i], IRT_GQ, 5*j);
00068 rel(this, x[i], IRT_LQ, 5*(j + (5*opt.size()/2)));
00069 }
00070 }
00072 StressDomain(bool share, StressDomain& s) : Example(share,s) {
00073 x.update(this, share, s.x);
00074 }
00076 virtual Space*
00077 copy(bool share) {
00078 return new StressDomain(share,*this);
00079 }
00081 virtual void
00082 print(std::ostream&) {}
00083 };
00084
00088 int
00089 main(int argc, char* argv[]) {
00090 SizeOptions opt("StressDomain");
00091 opt.iterations(200);
00092 opt.size(1000);
00093 opt.parse(argc,argv);
00094 Example::run<StressDomain,DFS,SizeOptions>(opt);
00095 return 0;
00096 }
00097
00098
00099