Home
last modified time | relevance | path

Searched defs:savedPendingState (Results 1 – 5 of 5) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Core/
H A DunificationSubproblemDisjunction.hh58 PendingUnificationStack::Marker savedPendingState; member
/dports/lang/maude/maude-2.7.1/src/CUI_Theory/
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.hh84 PendingUnificationStack::Marker savedPendingState; member in AU_UnificationSubproblem2
/dports/lang/maude/maude-2.7.1/src/ACU_Theory/
H A DACU_UnificationSubproblem2.hh102 PendingUnificationStack::Marker savedPendingState; member in ACU_UnificationSubproblem2