
Public Member Functions | |
| new (string name, vmm_consensus vote) | |
| void | oppose (string why="No reason specified") |
| void | consent (string why="No reason specified") |
| void | forced (string why="No reason specified") |
| string | get_name () |
| bit | get_vote () |
| bit | get_forced () |
| string | get_reason () |
| void | xactor (vmm_xactor xact) |
| void | channel (vmm_channel chan) |
| void | notify (vmm_notify ntfy, int notification, bit is_on) |
| void | sub_consensus (vmm_consensus vote, bit force_through) |
| void | kill_voter () |
| vmm_xactor | get_xactor () |
| vmm_channel | get_channel () |
| vmm_notify | get_notify () |
| int | get_notification () |
| vmm_consensus | get_consensus () |
Private Attributes | |
| string | name |
| vmm_consensus | consensus |
| bit | vote |
| bit | is_forced |
| string | why |
| event | killme |
| vmm_xactor | xactor_voter |
| vmm_channel | channel_voter |
| vmm_notify | notify_voter |
| int | notification |
| vmm_consensus | sub_vote |
Definition at line 1448 of file std_lib/vmm.sv.
| vmm_voter::new | ( | string | name, | |
| vmm_consensus | vote | |||
| ) |
Definition at line 355 of file vmm_consensus.sv.
| void vmm_voter::oppose | ( | string | why = "No reason specified" |
) |
Definition at line 370 of file vmm_consensus.sv.
| void vmm_voter::consent | ( | string | why = "No reason specified" |
) |
Definition at line 380 of file vmm_consensus.sv.
| void vmm_voter::forced | ( | string | why = "No reason specified" |
) |
Definition at line 390 of file vmm_consensus.sv.
| string vmm_voter::get_name | ( | ) |
Definition at line 400 of file vmm_consensus.sv.
| bit vmm_voter::get_vote | ( | ) |
Definition at line 405 of file vmm_consensus.sv.
| bit vmm_voter::get_forced | ( | ) |
Definition at line 410 of file vmm_consensus.sv.
| string vmm_voter::get_reason | ( | ) |
Definition at line 415 of file vmm_consensus.sv.
| void vmm_voter::xactor | ( | vmm_xactor | xact | ) |
Definition at line 420 of file vmm_consensus.sv.
| void vmm_voter::channel | ( | vmm_channel | chan | ) |
Definition at line 463 of file vmm_consensus.sv.
| void vmm_voter::notify | ( | vmm_notify | ntfy, | |
| int | notification, | |||
| bit | is_on | |||
| ) |
Definition at line 489 of file vmm_consensus.sv.
| void vmm_voter::sub_consensus | ( | vmm_consensus | vote, | |
| bit | force_through | |||
| ) |
Definition at line 533 of file vmm_consensus.sv.
| void vmm_voter::kill_voter | ( | ) |
Definition at line 562 of file vmm_consensus.sv.
| vmm_xactor vmm_voter::get_xactor | ( | ) |
Definition at line 568 of file vmm_consensus.sv.
| vmm_channel vmm_voter::get_channel | ( | ) |
Definition at line 573 of file vmm_consensus.sv.
| vmm_notify vmm_voter::get_notify | ( | ) |
Definition at line 578 of file vmm_consensus.sv.
| int vmm_voter::get_notification | ( | ) |
Definition at line 583 of file vmm_consensus.sv.
| vmm_consensus vmm_voter::get_consensus | ( | ) |
Definition at line 588 of file vmm_consensus.sv.
string vmm_voter::name [private] |
Definition at line 1449 of file std_lib/vmm.sv.
vmm_consensus vmm_voter::consensus [private] |
Definition at line 1450 of file std_lib/vmm.sv.
bit vmm_voter::vote [private] |
Definition at line 1451 of file std_lib/vmm.sv.
bit vmm_voter::is_forced [private] |
Definition at line 1452 of file std_lib/vmm.sv.
string vmm_voter::why [private] |
Definition at line 1453 of file std_lib/vmm.sv.
event vmm_voter::killme [private] |
Definition at line 1454 of file std_lib/vmm.sv.
vmm_xactor vmm_voter::xactor_voter [private] |
Definition at line 1455 of file std_lib/vmm.sv.
vmm_channel vmm_voter::channel_voter [private] |
Definition at line 1456 of file std_lib/vmm.sv.
vmm_notify vmm_voter::notify_voter [private] |
Definition at line 1457 of file std_lib/vmm.sv.
int vmm_voter::notification [private] |
Definition at line 1458 of file std_lib/vmm.sv.
vmm_consensus vmm_voter::sub_vote [private] |
Definition at line 1459 of file std_lib/vmm.sv.
![]() Intelligent Design Verification Project: VMM, Revision: 1.0.0 |
Copyright (c) 2008 Intelligent Design Verification. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included here: http://www.intelligentdv.com/licenses/fdl.txt |
![]() Doxygen Version: 1.5.6 Sat Oct 18 11:38:43 2008 |