const NodeId & DG2Node() const
Get DG2 diagram current explored Node.
void setDG2Node(const NodeId &)
Set DG2 diagram current explored Node.
static const Idx _offset2_
const NodeId & DG1Node() const
Get DG1 diagram current explored Node.
NodeId _DG2ExploredNode_
DG2 Diagram current explored node.
void chgVarModality(Idx, Idx)
Changes given variable modality.
void setDG1Node(const NodeId &)
Set DG1 diagram current explored Node.
static const Idx _offset1_
double _key_
The key use to store the context as a key in the hashtable.
const double & key(short int *instNeeded)
Returns o4DGContext key.
static const Idx _nbLogPrime_
Idx varModality(Idx)
Changes given variable modality.
static const double _logPrime_[]
Table containing the log2 of prime numbers.
static const Idx _offsetv_
Idx * _varInstantiation_
Vector containing for each retrograde variable its current modality 0 meaning no instantiation done =...
NodeId _DG1ExploredNode_
DG1 Diagram current explored node.
Class used to manipulate o4DGContext in Function Graph Operations.