Skip to content
Permalink
Browse files

Small fix

  • Loading branch information...
joleuger committed Jan 25, 2018
1 parent f1bd3fc commit ca09660538b059c8dbe8d015071709f70f2144d3
@@ -162,7 +162,7 @@ public void ParametricLbInOriginalDesign()
var parameter = new QuantitativeParametricAnalysisParameter
{
StateFormula = model.Collision,
Bound = null,
Bound = 50,
From = 000001,
To = 0.01,
Steps = 25,
@@ -398,9 +398,11 @@ public void AddStatesFromEnumerator(int? sourceState, LabeledTransitionEnumerato
{
while (enumerator.MoveNext())
{
if (!(enumerator.CurrentProbability > 0.0))
continue;

// Cannot make the next validation check because such transitions might exist when many small probabilities are
// multiplied because of imprecise doubles arithmetic
//if (!(enumerator.CurrentProbability > 0.0))
// continue;

var transitionTargetNodeIndex = TransitionTargetToNodeIndex(enumerator.CurrentIndex);
var targetStateNodeIndex = StateToNodeIndex(enumerator.CurrentTargetState);
_baseGraph.AddVerticesAndEdge(new Edge(transitionTargetNodeIndex, targetStateNodeIndex));

0 comments on commit ca09660

Please sign in to comment.
You can’t perform that action at this time.