Inheritance diagram for class vmm_scenario:
Public Member Functions | |
| function vmm_data | copy ( vmm_data to = null ) |
| function unsigned int | define_scenario ( string name, int unsigned max_len = 0 ) |
| function vmm_scenario | get_parent_scenario ( ) |
| function void | new ( vmm_scenario parent = null ) |
| function string | psdisplay ( string prefix = "" ) |
| function void | redefine_scenario ( int unsigned scenario_kind, string name, int unsigned max_len = 0 ) |
| function string | scenario_name ( int unsigned scenario_kind = 0 ) |
| function void | set_parent_scenario ( vmm_scenario parent ) |
Public Attributes | |
| rand int unsigned | length |
| rand int unsigned | repeated = 0; |
| static int unsigned | repeat_thresh = 100; |
| rand int unsigned | scenario_kind |
Protected Member Functions | |
| function unsigned int | get_max_length ( ) |
Constraints | |
| constraint | repetition ( ) |
| constraint | vmm_scenario_valid ( ) |
|
||||||||||
|
|
|
|
|
||||||||
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
constraint repetition {
repeated == 0; } |
|
|
constraint vmm_scenario_valid {
scenario_kind >= 0; scenario_kind < ((next_scenario_kind == 0) ? 1 : next_scenario_kind); length >= 0; length <= max_length; repeated >= 0; solve scenario_kind before length ; } |