/** * Resets the watcher's state, i.e. considers the next message to be received * as the first one. */ public override void reset() { WatcherNode wn = new WatcherNode(); HashSet<Operator> hs = new HashSet<Operator>(); hs.Add(m_formulaToWatch); wn.setDelta(hs); m_nodes.Clear(); m_nodes.Add(wn); m_maxNodes = 1; m_maxFormulae = 0; m_maxAtoms = 0; }