00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024 #ifndef __QECODE_NAIVEVALUE__
00025 #define __QECODE_NAIVEVALUE__
00026
00027 #include "qecode.hh"
00028 #include "valueHeuristic.hh"
00029
00030
00031 class QECODE_VTABLE_EXPORT SmallestValueFirst : public valueHeuristic {
00032 public:
00033 QECODE_EXPORT virtual int** subSet(Implicative* home,int var,int* nbRanges);
00034 QECODE_EXPORT virtual ~SmallestValueFirst() {}
00035 };
00036
00037
00038 class QECODE_VTABLE_EXPORT LargestValueFirst : public valueHeuristic {
00039 public:
00040 QECODE_EXPORT virtual int** subSet(Implicative* home,int var,int* nbRanges);
00041 QECODE_EXPORT virtual ~LargestValueFirst() {}
00042 };
00043
00044 class QECODE_VTABLE_EXPORT MedianValueFirst : public valueHeuristic {
00045 public:
00046 QECODE_EXPORT virtual int** subSet(Implicative* home,int var,int* nbRanges);
00047 QECODE_EXPORT virtual ~MedianValueFirst() {}
00048 };
00049
00050 class QECODE_VTABLE_EXPORT SmallestHalfFirst : public valueHeuristic {
00051 public:
00052 QECODE_EXPORT virtual int** subSet(Implicative* home,int var,int* nbRanges);
00053 QECODE_EXPORT virtual ~SmallestHalfFirst() {}
00054 };
00055
00056 class QECODE_VTABLE_EXPORT LargestHalfFirst : public valueHeuristic {
00057 public:
00058 QECODE_EXPORT virtual int** subSet(Implicative* home,int var,int* nbRanges);
00059 QECODE_EXPORT virtual ~LargestHalfFirst() {}
00060 };
00061
00062
00063 #endif