static const Idx __offset1
NodeId __DG2ExploredNode
DG2 Diagram current explored node.
static const double __logPrime[]
Table containing the log2 of prime numbers.
double __key
The key use to store the context as a key in the hashtable.
const double & key(short int *instNeeded)
Returns o4DGContext key.
void chgVarModality(Idx, Idx)
Changes given variable modality.
void setDG1Node(const NodeId &)
Set DG1 diagram current explored Node.
void setDG2Node(const NodeId &)
Set DG2 diagram current explored Node.
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
Idx varModality(Idx)
Changes given variable modality.
NodeId __DG1ExploredNode
DG1 Diagram current explored node.
static const Idx __offsetv