public ParallelPathItem(ParallelPathItem prev, ITlaState state, ITlaTransition fromTransition, ITlaState checkerState, ITlaTransition checkerFromTransition)
: base(state, prev, fromTransition)
{
this.Prev = prev;
this.CheckerState = checkerState;
this.CheckerFromTransition = checkerFromTransition;
this.Length = prev == null ? 1 : prev.Length;
}
public PathItem(ITlaState state, PathItem prev, ITlaTransition fromTransition)
{
this.State = state;
this.Prev = prev;
this.FromTransition = fromTransition;
}
