de.uni.freiburg.iig.telematik.sepia.mg.cpn.AbstractCPNMarkingGraph Maven / Gradle / Ivy
package de.uni.freiburg.iig.telematik.sepia.mg.cpn;
import java.util.Collection;
import de.invation.code.toval.types.Multiset;
import de.uni.freiburg.iig.telematik.sepia.mg.abstr.AbstractMarkingGraph;
import de.uni.freiburg.iig.telematik.sepia.petrinet.cpn.abstr.AbstractCPNMarking;
public abstract class AbstractCPNMarkingGraph,
Y extends AbstractCPNMarkingGraphRelation>
extends AbstractMarkingGraph,X,Y> {
private static final long serialVersionUID = -33599899300156648L;
public AbstractCPNMarkingGraph() {
super();
}
public AbstractCPNMarkingGraph(Collection states, Collection events) {
super(states, events);
}
public AbstractCPNMarkingGraph(Collection states) {
super(states);
}
public AbstractCPNMarkingGraph(String name, Collection states, Collection events) {
super(name, states, events);
}
public AbstractCPNMarkingGraph(String name, Collection states) {
super(name, states);
}
public AbstractCPNMarkingGraph(String name) {
super(name);
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy