
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