final synchronized void restoreFuncall(int mark) throws ReteException { while (m_usedF.size() > mark) { m_newF.push(m_usedF.pop()); } }
final int markFuncall() { return m_usedF.size(); }