/**
* Resets the watcher's state, i.e. considers the next message to be generated
* as the first one.
*/
public void reset()
{
GeneratorNode wn = new GeneratorNode();
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;
}