/** * The <code>removeProbe()</code> method removes a probe that has been inserted for all state * transitions. * * @param p the probe to remove */ public void removeProbe(Probe p) { globalProbe.remove(p); }