
de.uni.freiburg.iig.telematik.jagal.visualization.flexible.TransitionSystemComponent Maven / Gradle / Ivy
package de.uni.freiburg.iig.telematik.jagal.visualization.flexible;
import de.uni.freiburg.iig.telematik.jagal.ts.State;
import de.uni.freiburg.iig.telematik.jagal.ts.TransitionRelation;
import de.uni.freiburg.iig.telematik.jagal.ts.TransitionSystem;
public class TransitionSystemComponent extends AbstractTransitionSystemComponent {
private static final long serialVersionUID = -2904997258654606729L;
public TransitionSystemComponent(TransitionSystem ts) throws Exception {
super(ts);
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy