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.
Class used to manipulate o4DGContext in Function Graph Operations.
static const Idx __offset2
Idx varModality(Idx)
Changes given variable modality.
NodeId __DG1ExploredNode
DG1 Diagram current explored node.
static const Idx __offsetv