/*
 * 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:
 * Mateusz Parzonka - initial API and implementation
 */
package prm4j.logic;

import java.util.Set;

import prm4j.api.Parameter;
import prm4j.indexing.BaseEvent;

public interface FiniteSpec {

    public Set<Parameter<?>> getParameter();

    public Set<? extends BaseEvent> getBaseEvents();

    public Set<MonitorState> getStates();

    public MonitorState getInitialState();

}

@@ -420,36 +420,8 @@
 t;%0A%0A
-import prm4j.api.Parameter;%0A
 impo
@@ -485,54 +485,8 @@
  %7B%0A%0A
-    public Set%3CParameter%3C?%3E%3E getParameter();%0A%0A
     

Remove unused method