Home
last modified time | relevance | path

Searched refs:savedPendingState (Results 1 – 11 of 11) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Core/
H A DunificationSubproblemDisjunction.cc73 pending.restore(p.savedPendingState); in solve()
84 pending.restore(p.savedPendingState); in solve()
95 p.savedPendingState = pending.checkPoint(); in solve()
H A DunificationSubproblemDisjunction.hh58 PendingUnificationStack::Marker savedPendingState; member
/dports/lang/maude/maude-2.7.1/src/CUI_Theory/
H A DCUI_UnificationSubproblem.cc107 p.savedPendingState = pending.checkPoint(); in solve()
129 pending.restore(p.savedPendingState); in solve()
146 pending.restore(p.savedPendingState); in solve()
H A DCUI_UnificationSubproblem2.cc136 pending.restore(savedPendingState); in findAlternative()
145 savedPendingState = pending.checkPoint(); in findAlternative()
149 pending.restore(savedPendingState); in findAlternative()
H A DCUI_UnificationSubproblem.hh63 PendingUnificationStack::Marker savedPendingState; member
H A DCUI_UnificationSubproblem2.hh80 PendingUnificationStack::Marker savedPendingState; member
/dports/lang/maude/maude-2.7.1/src/AU_Theory/
H A DAU_UnificationSubproblem2.cc276 savedPendingState = pending.checkPoint(); in solve()
284 pending.restore(savedPendingState); in solve()
302 pending.restore(savedPendingState); in solve()
H A DAU_UnificationSubproblem2.hh84 PendingUnificationStack::Marker savedPendingState; member in AU_UnificationSubproblem2
H A DChangeLog236 savesSubstitution, preSolveSubstitution, savedPendingState
/dports/lang/maude/maude-2.7.1/src/ACU_Theory/
H A DACU_UnificationSubproblem2.hh102 PendingUnificationStack::Marker savedPendingState; member in ACU_UnificationSubproblem2
H A DACU_UnificationSubproblem2.cc383 savedPendingState = pending.checkPoint(); in solve()
391 pending.restore(savedPendingState); in solve()
407 pending.restore(savedPendingState); in solve()