| Jiri Simsa | 5293dcb | 2014-05-10 09:56:38 -0700 | [diff] [blame] | 1 | package concurrency |
| 2 | |
| 3 | // choice enumerates the program transitions to choose from and |
| 4 | // identifies which transition is to be taken next. |
| 5 | type choice struct { |
| 6 | // next records the thread identifier for the thread that was |
| 7 | // selected to be scheduled next. |
| 8 | next TID |
| 9 | // transitions records the transitions for all the threads that |
| 10 | // could have been scheduled next. |
| 11 | transitions map[TID]*transition |
| 12 | } |
| 13 | |
| 14 | // newChoice is the choice factory. |
| 15 | func newChoice() *choice { |
| 16 | return &choice{ |
| 17 | transitions: make(map[TID]*transition), |
| 18 | } |
| 19 | } |
