public LTSTransition(LTSState startState, string label, LTSState endState) { // TODO: Complete member initialization Left = startState; Action = label; Right = endState; }
public LTSTransition(LTSState left, LTSState right, string action) { Left = left; Right = right; Action = action; }