Searched refs:LeftMapping (Results 1 – 1 of 1) sorted by relevance
121 self *LeftMapping; variable134 LeftMapping(L), in DiffStateMachine()162 if (LeftMapping) in onLClose()163 LeftMapping->add(OpenPt, Pt, CurrentLSuccessor); in onLClose()181 if (Pt > OpenPt && LeftMapping) in onROpen()182 LeftMapping->add(OpenPt, Pt-1, CurrentLSuccessor); in onROpen()