Ejemplo n.º 1
0
 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);
 }