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