/*
 * Copyright (c) 2012 Mateusz Parzonka, Eric Bodden
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 * Eric Bodden - initial API and implementation
 * Mateusz Parzonka - adapted API and implementation
 */
package prm4j.indexing;

/**
 * A parametric monitor can be thought as a set of base monitors running in parallel, one for each parameter instance.
 *
 * @param <M>
 *            the type of the base monitor
 */
public interface ParametricMonitor {

    AbstractBaseMonitor createBaseMonitor();

    void processEvent(Event event);

    void reset();

}

@@ -571,68 +571,8 @@
 ce.%0A
- *%0A * @param %3CM%3E%0A *            the type of the base monitor%0A
  */%0A

Remove obsolete comment