internal Transition(IEvent @event, ParsedStatenode source, IEnumerable <ParsedStatenode> targets, Actionblock actions, Option <Guard> guard, bool isForbidden)
{
Event = @event;
Source = source;
Targets = targets;
Actions = actions;
Guard = guard;
IsForbidden = isForbidden;
}
protected ParsedStatenode(
ParsedStatenode parent,
string name,
Option <string> uniqueIdentifier,
int documentIndex,
Actionblock entryActions,
Actionblock exitActions)
{
Parent = parent.ToOption();
Name = name;
UniqueIdentifier = uniqueIdentifier;
DocumentIndex = documentIndex;
EntryActions = entryActions;
ExitActions = exitActions;
Id = new StatenodeId(Parent, name);
Depth = Parent.Map(p => p.Depth + 1).ValueOr(0);
}