Inheritance diagram for class vmm_scheduler_election:
Public Attributes | |
| int unsigned | election_id |
| int unsigned | ids [$] |
| int unsigned | id_history [$] |
| int | instance_id |
| int unsigned | n_sources |
| int unsigned | next_idx |
| vmm_data | obj_history [$] |
| rand int unsigned | obj_offset |
| vmm_channel | sources [$] |
| rand int unsigned | source_idx |
Constraints | |
| constraint | default_round_robin ( ) |
| constraint | vmm_scheduler_election_valid ( ) |
|
|
|
|
|
|
|
|
|
|
|
|
constraint default_round_robin {
source_idx == next_idx; } |
|
|
constraint vmm_scheduler_election_valid {
obj_offset == 0; source_idx >= 0; source_idx < n_sources; } |