/**
* 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);
}
/**
* 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);
}
