Ejemplos de ISSE.SafetyChecking.MarkovDecisionProcess.Unoptimized LtmdpContinuationDistributionMapper en C# (CSharp)

Ejemplo n.º 1

 public ContinuationsOfDistributionEnumerator(LtmdpContinuationDistributionMapper cidToDidMapper, int distributionId)
 {
     _continuationsOfDistributionChainEnumerator = cidToDidMapper._continuationOfDistributionChain.GetEnumerator(distributionId);
     _offset = cidToDidMapper._offset;
 }

Ejemplo n.º 2

 public DistributionsOfContinuationEnumerator(LtmdpContinuationDistributionMapper cidToDidMapper, int continuationId)
 {
     _distributionOfContinuationChainEnumerator = cidToDidMapper._distributionOfContinuationChain.GetEnumerator(continuationId);
 }