de.uni.freiburg.iig.telematik.sepia.graphic.AbstractGraphicalIFNet Maven / Gradle / Ivy

Go to download
package de.uni.freiburg.iig.telematik.sepia.graphic;

import de.uni.freiburg.iig.telematik.sepia.graphic.netgraphics.AbstractIFNetGraphics;
import de.uni.freiburg.iig.telematik.sepia.graphic.netgraphics.IFNetGraphics;
import de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.IFNet;
import de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.abstr.AbstractDeclassificationTransition;
import de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.abstr.AbstractIFNet;
import de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.abstr.AbstractIFNetFlowRelation;
import de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.abstr.AbstractIFNetMarking;
import de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.abstr.AbstractIFNetPlace;
import de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.abstr.AbstractIFNetTransition;
import de.uni.freiburg.iig.telematik.sepia.petrinet.ifnet.abstr.AbstractRegularIFNetTransition;

/**
 * Container class with a {@link IFNet} and its graphical information as {@link IFNetGraphics}.
 * 
 * @author Thomas Stocker
 * @author Adrian Lange
 */
public class AbstractGraphicalIFNet, 
									T extends AbstractIFNetTransition, 
									F extends AbstractIFNetFlowRelation, 
									M extends AbstractIFNetMarking,
									R extends AbstractRegularIFNetTransition,
									D extends AbstractDeclassificationTransition,
									N extends AbstractIFNet,
	   							  	G extends AbstractIFNetGraphics> extends AbstractGraphicalCPN {

	public AbstractGraphicalIFNet(N petriNet, G petriNetGraphics) {
		super(petriNet, petriNetGraphics);
	}
	
	protected AbstractGraphicalIFNet() {
		super();
	}

}