cbnsim::DeliveryOracle Member List

This is the complete list of members for cbnsim::DeliveryOracle, including all inherited members.

false_negative_count()	cbnsim::DeliveryOracle	[static]
false_negative_percent()	cbnsim::DeliveryOracle	[static]
false_positive_count()	cbnsim::DeliveryOracle	[static]
false_positive_percent()	cbnsim::DeliveryOracle	[static]
log_false_delivery(MessageId message_id, ssim::ProcessId pid)	cbnsim::DeliveryOracle	[static]
log_true_delivery(MessageId message_id, ssim::ProcessId pid)	cbnsim::DeliveryOracle	[static]
send_message(ssim::ProcessId pid, const Message &m)	cbnsim::DeliveryOracle	[static]
set_predicate(ssim::ProcessId pid, const Predicate &p)	cbnsim::DeliveryOracle	[static]
update_dci_windows()	cbnsim::DeliveryOracle	[static]