public LtmcTestBuilderWithStatesAsNumbers()
{
_transitionBuffer.Resize(TransitionCapacity * sizeof(LtmcTransition), zeroMemory: false);
_transitions = (LtmcTransition *)_transitionBuffer.Pointer;
Ltmc = new LabeledTransitionMarkovChain(StateCapacity, TransitionCapacity);
LtmcBuilder = new LabeledTransitionMarkovChain.LtmcBuilder(Ltmc);
}
public LtmcTestBuilder()
{
_transitionBuffer.Resize(TransitionCapacity * sizeof(LtmcTransition), zeroMemory: false);
_transitions = (LtmcTransition *)_transitionBuffer.Pointer;
Ltmc = new LabeledTransitionMarkovChain(StateCapacity, TransitionCapacity);
LtmcBuilder = new LabeledTransitionMarkovChain.LtmcBuilder <SimpleExecutableModel>(Ltmc);
}
