de.uni.freiburg.iig.telematik.sepia.mg.pt.AbstractPTMarkingGraph Maven / Gradle / Ivy
package de.uni.freiburg.iig.telematik.sepia.mg.pt;
import java.util.Collection;
import de.uni.freiburg.iig.telematik.sepia.mg.abstr.AbstractMarkingGraph;
import de.uni.freiburg.iig.telematik.sepia.petrinet.pt.abstr.AbstractPTMarking;
public abstract class AbstractPTMarkingGraph,
R extends AbstractPTMarkingGraphRelation>
extends AbstractMarkingGraph {
private static final long serialVersionUID = 5037378617375529917L;
public AbstractPTMarkingGraph() {
super();
}
public AbstractPTMarkingGraph(Collection states, Collection events) {
super(states, events);
}
public AbstractPTMarkingGraph(Collection states) {
super(states);
}
public AbstractPTMarkingGraph(String name, Collection states, Collection events) {
super(name, states, events);
}
public AbstractPTMarkingGraph(String name, Collection states) {
super(name, states);
}
public AbstractPTMarkingGraph(String name) {
super(name);
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy