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