| package concurrency | |
| // choice enumerates the program transitions to choose from and | |
| // identifies which transition is to be taken next. | |
| type choice struct { | |
| // next records the thread identifier for the thread that was | |
| // selected to be scheduled next. | |
| next TID | |
| // transitions records the transitions for all the threads that | |
| // could have been scheduled next. | |
| transitions map[TID]*transition | |
| } | |
| // newChoice is the choice factory. | |
| func newChoice() *choice { | |
| return &choice{ | |
| transitions: make(map[TID]*transition), | |
| } | |
| } |