44 log2(2), log2(3), log2(5), log2(7), log2(11), log2(13), log2(17),
45 log2(19), log2(23), log2(29), log2(31), log2(37), log2(41), log2(43),
46 log2(47), log2(53), log2(59), log2(61), log2(67), log2(71), log2(73),
47 log2(79), log2(83), log2(89), log2(97), log2(101), log2(103), log2(107),
48 log2(109), log2(113), log2(127), log2(131), log2(137), log2(139), log2(149),
49 log2(151), log2(157), log2(163), log2(167), log2(173), log2(179), log2(181),
50 log2(191), log2(193), log2(197), log2(199), log2(211), log2(223), log2(227),
51 log2(229), log2(233), log2(239), log2(241), log2(251), log2(257), log2(263),
52 log2(269), log2(271), log2(277), log2(281), log2(283), log2(293), log2(307),
53 log2(311), log2(313), log2(317), log2(331), log2(337), log2(347), log2(349),
54 log2(353), log2(359), log2(367), log2(373), log2(379), log2(383), log2(389),
55 log2(397), log2(401), log2(409), log2(419), log2(421), log2(431), log2(433),
56 log2(439), log2(443), log2(449), log2(457), log2(461), log2(463), log2(467),
57 log2(479), log2(487), log2(491), log2(499), log2(503), log2(509), log2(521),
58 log2(523), log2(541), log2(547), log2(557), log2(563), log2(569), log2(571),
59 log2(577), log2(587), log2(593), log2(599), log2(601), log2(607), log2(613),
60 log2(617), log2(619), log2(631), log2(641), log2(643), log2(647), log2(653),
61 log2(659), log2(661), log2(673), log2(677), log2(683), log2(691), log2(701),
62 log2(709), log2(719), log2(727), log2(733), log2(739), log2(743), log2(751),
63 log2(757), log2(761), log2(769), log2(773), log2(787), log2(797), log2(809)};
71 __DG1ExploredNode(0), __DG2ExploredNode(0), __key(0) {
static const Idx __offset1
static const double __logPrime[]
Table containing the log2 of prime numbers.
Copyright 2005-2019 Pierre-Henri WUILLEMIN et Christophe GONZALES (LIP6) {prenom.nom}_at_lip6.fr.
O4DGContext(Idx *, Idx)
Default constructor.
~O4DGContext()
Default destructor.
Size Idx
Type for indexes.
static const Idx __nbLogPrime
Idx * __varInstantiation
Vector containing for each retrograde variable its current modality 0 meaning no instantiation done =...
Class used to manipulate context during Function Graph Operations.
Copyright 2005-2019 Pierre-Henri WUILLEMIN et Christophe GONZALES (LIP6) {prenom.nom}_at_lip6.fr.
static const Idx __offset2
Copyright 2005-2019 Pierre-Henri WUILLEMIN et Christophe GONZALES (LIP6) {prenom.nom}_at_lip6.fr.
static const Idx __offsetv