s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

Bugfix: GUI simulator now correctly recalls choices made in states. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2813 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 15 years ago
parent
6defb1f390
commit
adac14e1d8
1 changed files with 3 additions and 1 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 4
      prism/src/simulator/TransitionList.java

4
prism/src/simulator/TransitionList.java
View File

@ -34,7 +34,9 @@ import prism.*;
public class TransitionList public class TransitionList
{ {
private ArrayList<Choice> choices = new ArrayList<Choice>(); private ArrayList<Choice> choices = new ArrayList<Choice>();
/** The index of the choice containing each transition. */
private ArrayList<Integer> transitionIndices = new ArrayList<Integer>(); private ArrayList<Integer> transitionIndices = new ArrayList<Integer>();
/** The offset with the choice containing each transition. */
private ArrayList<Integer> transitionOffsets = new ArrayList<Integer>(); private ArrayList<Integer> transitionOffsets = new ArrayList<Integer>();
private int numChoices = 0; private int numChoices = 0;
private int numTransitions = 0; private int numTransitions = 0;
@ -140,7 +142,7 @@ public class TransitionList
*/ */
public int getTotalIndexOfTransition(int i, int offset) public int getTotalIndexOfTransition(int i, int offset)
{ {
return transitionOffsets.get(i);
return transitionIndices.indexOf(i) + offset;
} }
// Random selection of a choice // Random selection of a choice

Write Preview
Loading…
Cancel
Save