Example #1
0
        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);
        }
Example #2
0
        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);
        }
Example #3
0
 public LtmdpChoiceResolverTests(ITestOutputHelper output)
 {
     Output          = new TestTraceOutput(output);
     _stepGraph      = new LtmdpStepGraph();
     _choiceResolver = new LtmdpChoiceResolver(_stepGraph);
 }