public class TransitionSystemFactory
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static CoverabilityGraph |
cloneCoverabilityGraph(CoverabilityGraph ts) |
static ReachabilityGraph |
cloneReachabilityGraph(ReachabilityGraph ts) |
static TransitionSystem |
cloneTransitionSystem(TransitionSystem ts) |
static CoverabilityGraph |
newCoverabilityGraph(java.lang.String label) |
static ReachabilityGraph |
newReachabilityGraph(java.lang.String label) |
static TransitionSystem |
newTransitionSystem(java.lang.String label) |
static CoverabilityGraph |
toCoverabilityGraph(ReachabilityGraph ts) |
public static TransitionSystem newTransitionSystem(java.lang.String label)
public static ReachabilityGraph newReachabilityGraph(java.lang.String label)
public static CoverabilityGraph newCoverabilityGraph(java.lang.String label)
public static TransitionSystem cloneTransitionSystem(TransitionSystem ts)
public static ReachabilityGraph cloneReachabilityGraph(ReachabilityGraph ts)
public static CoverabilityGraph cloneCoverabilityGraph(CoverabilityGraph ts)
public static CoverabilityGraph toCoverabilityGraph(ReachabilityGraph ts)