ravel::Channel Member List

This is the complete list of members for ravel::Channel, including all inherited members.

Channel(ChannelId id, std::string from, std::string to, FaultSpec fault, Scheduler &scheduler, VirtualRng &rng, Trace &trace)	ravel::Channel
Channel(const Channel &)=delete	ravel::Channel
clear_inbox()	ravel::Channel	inline
fault() const noexcept	ravel::Channel	inline
from() const noexcept	ravel::Channel	inline
operator=(const Channel &)=delete (defined in ravel::Channel)	ravel::Channel
receive() noexcept	ravel::Channel	inline
receive_within(VirtualClock::Tick timeout) noexcept	ravel::Channel	inline
send(Message message)	ravel::Channel
to() const noexcept	ravel::Channel	inline