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