| // Copyright 2015 The Vanadium Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style |
| // license that can be found in the LICENSE file. |
| |
| 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), |
| } |
| } |
