85     int FullDelta = 0;  member in __anonb4cff6540111::DeltaTreeNode
91     int getFullDelta() const { return FullDelta; }  in getFullDelta()
142       FullDelta = IR.LHS->getFullDelta()+IR.RHS->getFullDelta()+IR.Split.Delta;  in DeltaTreeInteriorNode()
178   FullDelta = NewFullDelta;  in RecomputeFullDeltaLocally()
188   FullDelta += Delta;  in DoInsertion()
292   InsertSide->FullDelta += SubSplit.Delta + SubRHS->getFullDelta();  in DoInsertion()
351     int FullDelta = 0;  in VerifyTree()  local
355       FullDelta += N->getValue(i).Delta;  in VerifyTree()
357     assert(FullDelta == N->getFullDelta());  in VerifyTree()
363   int FullDelta = 0;  in VerifyTree()  local
369     FullDelta += IVal.Delta;  in VerifyTree()
370     FullDelta += IChild->getFullDelta();  in VerifyTree()
381   FullDelta += IN->getChild(IN->getNumValuesUsed())->getFullDelta();  in VerifyTree()
383   assert(FullDelta == N->getFullDelta());  in VerifyTree()