Home
last modified time | relevance | path

Searched refs:setUnstackable (Results 1 – 5 of 5) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Core/
H A Drun.cc78 d->setUnstackable(); in ruleRewrite()
347 d->setUnstackable(); in doRewriting()
366 d->setUnstackable(); in doRewriting()
H A DChangeLog1837 setUnstackable(); don't call setUnrewritable(); update comments
/dports/lang/maude/maude-2.7.1/src/Higher/
H A DpositionState.cc93 d->setUnstackable(); in exploreNextPosition()
/dports/lang/maude/maude-2.7.1/src/Interface/
H A DdagNode.hh66 void setUnstackable();
458 DagNode::setUnstackable() in setUnstackable() function in DagNode
H A DChangeLog2258 (class DagNode): added decls for setUnstackable() and
2260 (setUnstackable): addded