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 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 void RegisterIncoming(TlaTransition transition) { _inTransitions.Add(transition); }
public void UnregisterIncoming(TlaTransition t) { _inTransitions.Remove(t); }
public void RegisterOutgoing(TlaTransition transition) { _outTransitions.Add(transition); }