public FinalState(InterfaceManager manager)
: base(null)
{
this.manager = manager;
}
public ChangeBarier(State nextState, int index, InterfaceManager manager)
: base(nextState)
{
this.index = index;
this.manager = manager;
}
public InputSyntheticBarier(State nextState, InterfaceManager manager)
: base(nextState)
{
this.manager = manager;
}
public InputProfilePoints(State nextState, InterfaceManager manager)
: base(nextState)
{
this.manager = manager;
}
public InputIntervalParameters(State nextState, InterfaceManager manager)
: base(nextState)
{
this.manager = manager;
}
public InitialState(State nextState, InterfaceManager manager)
: base(nextState)
{
this.manager = manager;
}
