schedule: add is_enabled() function
authorBrian Norris <banorris@uci.edu>
Sun, 7 Oct 2012 21:57:42 +0000 (14:57 -0700)
committerBrian Norris <banorris@uci.edu>
Sun, 7 Oct 2012 22:26:48 +0000 (15:26 -0700)
commite919b30ee6f7aa594c61fc305e6e88e789dbd700
tree8412a5e6f49e70892ad8e2be6ba2b02cee1381f5
parentb4a228de75d93aad50a07b3b048f69bc57ba2dd8
schedule: add is_enabled() function

The release sequence functionality needs to check whether a Thread is
currently enabled (rather than finding this information in a particular
Node).

Also, rename the (private) 'is_enabled' field to avoid a name conflict.
schedule.cc
schedule.h