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

Javadoc. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6920 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 13 years ago
parent
48fd9e7bdd
commit
ec7a5b9511
1 changed files with 1 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. 2
      prism/src/explicit/MDP.java

2
prism/src/explicit/MDP.java
View File

@ -100,7 +100,7 @@ public interface MDP extends Model
* Perform a single step of precomputation algorithm Prob1E, i.e., for states i in {@code subset}, * Perform a single step of precomputation algorithm Prob1E, i.e., for states i in {@code subset},
* set bit i of {@code result} iff, for some choice, * set bit i of {@code result} iff, for some choice,
* there is a transition to a state in {@code v} and all transitions go to states in {@code u}. * there is a transition to a state in {@code v} and all transitions go to states in {@code u}.
* Optionally, store optimal (memoryless) strategy info.
* Optionally, store optimal (memoryless) strategy info for 1 states.
* @param subset Only compute for these states * @param subset Only compute for these states
* @param u Set of states {@code u} * @param u Set of states {@code u}
* @param v Set of states {@code v} * @param v Set of states {@code v}

Write Preview
Loading…
Cancel
Save