final int markFuncall() {
return m_usedF.size();
}
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());
}
