Class Transition

java.lang.Object
com.uppaal.model.system.Transition

public class Transition
extends Object
Transition represents a discrete transition of the system. Each transition has a source and target states, and a set of edges involved in the transition. A sample code to save a trace (sequence of transitions) into a XTR file: ArrayList<Transition> trace = new ArrayList<Transition>(); ... // simulate and add successive transitions System.out.println(trace.get(0).getTarget().toXTRFormat()); for (int i = 1; i < trace.size(); i++) { System.out.println(trace.get(i).toXTRFormat()); } System.out.println(".\n");