• Home
• de.uni.freiburg.iig.telematik
• SEPIA
• 1.0.1
• source code
• Overlap.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

de.uni.freiburg.iig.telematik.sepia.overlap.Overlap Maven / Gradle / Ivy

package de.uni.freiburg.iig.telematik.sepia.overlap;

import de.invation.code.toval.thread.ExecutorListener;
import de.uni.freiburg.iig.telematik.sepia.petrinet.abstr.AbstractFlowRelation;
import de.uni.freiburg.iig.telematik.sepia.petrinet.abstr.AbstractMarking;
import de.uni.freiburg.iig.telematik.sepia.petrinet.abstr.AbstractPlace;
import de.uni.freiburg.iig.telematik.sepia.petrinet.abstr.AbstractTransition;
import de.uni.freiburg.iig.telematik.sewol.log.LogEntry;

public class Overlap {
	
	public static <	P extends AbstractPlace, 
					T extends AbstractTransition, 
					F extends AbstractFlowRelation, 
					M extends AbstractMarking, 
					S extends Object,
					E extends LogEntry>

		void 
	
		initiateOverlapCalculation( OverlapCallableGenerator generator,
									ExecutorListener> listener)
								
		throws OverlapException {

		ThreadedOverlapCalculator calculator = new ThreadedOverlapCalculator(generator);
		calculator.addExecutorListener(listener);
		calculator.runCalculation();
	}

	public static <	P extends AbstractPlace, 
					T extends AbstractTransition, 
					F extends AbstractFlowRelation, 
					M extends AbstractMarking, 
					S extends Object,
					E extends LogEntry>

		OverlapResult 

		calculateOverlap(OverlapCallableGenerator generator)

		throws OverlapException {

		ThreadedOverlapCalculator calculator = new ThreadedOverlapCalculator(generator);
		calculator.runCalculation();
		return calculator.getResult();
	}

}