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