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);
}