All Downloads are FREE. Search and download functionalities are using the official Maven repository.

de.uni.freiburg.iig.telematik.jagal.ts.TransitionRelation Maven / Gradle / Ivy

package de.uni.freiburg.iig.telematik.jagal.ts;

import de.uni.freiburg.iig.telematik.jagal.ts.abstr.AbstractTransitionRelation;

public class TransitionRelation extends AbstractTransitionRelation {
	
	private static final long serialVersionUID = 2463763607811901236L;

	public TransitionRelation(){
		super();
	}

	public TransitionRelation(State source, State target){
		super(source, target);
	}
	
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy