Searched refs:savedPendingState (Results 1 – 11 of 11) sorted by relevance
73 pending.restore(p.savedPendingState); in solve()84 pending.restore(p.savedPendingState); in solve()95 p.savedPendingState = pending.checkPoint(); in solve()
58 PendingUnificationStack::Marker savedPendingState; member
107 p.savedPendingState = pending.checkPoint(); in solve()129 pending.restore(p.savedPendingState); in solve()146 pending.restore(p.savedPendingState); in solve()
136 pending.restore(savedPendingState); in findAlternative()145 savedPendingState = pending.checkPoint(); in findAlternative()149 pending.restore(savedPendingState); in findAlternative()
63 PendingUnificationStack::Marker savedPendingState; member
80 PendingUnificationStack::Marker savedPendingState; member
276 savedPendingState = pending.checkPoint(); in solve()284 pending.restore(savedPendingState); in solve()302 pending.restore(savedPendingState); in solve()
84 PendingUnificationStack::Marker savedPendingState; member in AU_UnificationSubproblem2
236 savesSubstitution, preSolveSubstitution, savedPendingState
102 PendingUnificationStack::Marker savedPendingState; member in ACU_UnificationSubproblem2
383 savedPendingState = pending.checkPoint(); in solve()391 pending.restore(savedPendingState); in solve()407 pending.restore(savedPendingState); in solve()