public LtmdpToNmdpTests(ITestOutputHelper output) { Output = new TestTraceOutput(output); _transitionBuffer.Resize(TransitionCapacity * sizeof(LtmdpTransition), zeroMemory: false); _transitions = (LtmdpTransition *)_transitionBuffer.Pointer; _stepGraph = new LtmdpStepGraph(); _choiceResolver = new LtmdpChoiceResolver(_stepGraph); }
public LtmdpTestBuilder() { _transitionBuffer.Resize(TransitionCapacity * sizeof(LtmdpTransition), zeroMemory: false); _transitions = (LtmdpTransition *)_transitionBuffer.Pointer; StepGraph = new LtmdpStepGraph(); _choiceResolver = new LtmdpChoiceResolver(StepGraph, true); Ltmdp = new LabeledTransitionMarkovDecisionProcess(StateCapacity, TransitionCapacity); LtmdpBuilder = new LabeledTransitionMarkovDecisionProcess.LtmdpBuilderDuringTraversal(Ltmdp); }
public LtmdpChoiceResolverTests(ITestOutputHelper output) { Output = new TestTraceOutput(output); _stepGraph = new LtmdpStepGraph(); _choiceResolver = new LtmdpChoiceResolver(_stepGraph); }