Public Member Functions |
| function void |
forcing (
ref string who, ref string why ) |
| function bit |
is_forced (
) |
| function bit |
is_reached (
) |
| function void |
nays (
ref string who, ref string why ) |
| function void |
new (
string name, string inst ) |
| function string |
psdisplay (
string prefix = ) |
| function void |
register_channel (
vmm_channel chan ) |
| function void |
register_consensus (
vmm_consensus vote, bit force_through = 0 ) |
| function void |
register_notification (
vmm_notify notify, int notification ) |
| function void |
register_no_notification (
vmm_notify notify, int notification ) |
| function vmm_voter |
register_voter (
string name ) |
| function void |
register_xactor (
vmm_xactor xact ) |
| function void |
unregister_all (
) |
| function void |
unregister_channel (
vmm_channel chan ) |
| function void |
unregister_consensus (
vmm_consensus vote ) |
| function void |
unregister_notification (
vmm_notify notify, int notification ) |
| function void |
unregister_voter (
vmm_voter voter ) |
| function void |
unregister_xactor (
vmm_xactor xact ) |
| task |
wait_for_consensus (
) |
| task |
wait_for_no_consensus (
) |
| function void |
XvoteX (
bit was_agree, bit agree, bit was_forced, bit forced ) |
| function void |
yeas (
ref string who, ref string why ) |
Public Attributes |
| vmm_log |
log |
| local int |
n_dissenters |
| local int |
n_forcing |
| event |
new_results |
| local vmm_voter |
voters [$] |