vmm_ms_scenario_election Class Reference

Inheritance diagram for class vmm_ms_scenario_election:

Public Attributes
int unsigned	last_selected [$]
int unsigned	n_scenarios
int unsigned	next_in_set
int	scenario_id
vmm_ms_scenario	scenario_set [$]
rand int	select
int	stream_id
Constraints
constraint	round_robin ( )
constraint	vmm_ms_scenario_election_valid ( )

Member Attribute Documentation

int unsigned attribute
vmm_ms_scenario_election::last_selected[$]

int unsigned attribute
vmm_ms_scenario_election::n_scenarios

int unsigned attribute
vmm_ms_scenario_election::next_in_set

int attribute
vmm_ms_scenario_election::scenario_id

vmm_ms_scenario attribute
vmm_ms_scenario_election::scenario_set[$]

rand int attribute
vmm_ms_scenario_election::select

int attribute
vmm_ms_scenario_election::stream_id

constraint
vmm_ms_scenario_election::round_robin

constraint round_robin {
select == next_in_set;
}

constraint
vmm_ms_scenario_election::vmm_ms_scenario_election_valid

constraint vmm_ms_scenario_election_valid {
        select >= 0;
        select < n_scenarios;
    }