public ITlaTransition CreateTransition(int idFrom, int idTo, TlaFormula condition)
{
var transition = new TlaTransition(_allTransitions.Count, _statesById[idFrom], _statesById[idTo], condition);
_allTransitions.Add(transition);
return(transition);
}
public ITlaTransition CreateTransition(string nameFrom, string nameTo, TlaFormula condition)
{
var transition = new TlaTransition(_allTransitions.Count, _statesByName[nameFrom], _statesByName[nameTo], condition);
_allTransitions.Add(transition);
return(transition);
}
public TlaTransition(int id, TlaState from, TlaState to, TlaFormula condition)
{
this.Id = id;
this.FromState = from;
this.ToState = to;
this.Condition = condition;
to.RegisterIncoming(this);
from.RegisterOutgoing(this);
}
