public Transition(ConcreteLocation p, Expr guard, Expr reset, AState nextState) : this(p, nextState) { this.Guard = guard; this._reset = reset; }
public Transition(ConcreteLocation p, AState nextState) : this(p) { this._nextStates = new List <AState>(); this._nextStates.Add(nextState); }
public Transition(ConcreteLocation p, AState nextState, AbstractTransitionType t) : this(p, nextState) { this._type = t; }
public void addNextState(AState nextState) { this._nextStates.Add(nextState); }