ravel::Simulation Member List

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

add_channel(std::string from, std::string to, FaultSpec fault)	ravel::Simulation
add_disk(std::string name, DiskFaultSpec fault={})	ravel::Simulation
add_invariant(std::string name, InvariantFn invariant)	ravel::Simulation
choices() const noexcept	ravel::Simulation	inline
clock() noexcept	ravel::Simulation	inline
describe(const TraceEvent &event) const	ravel::Simulation
make_state(Args &&... args)	ravel::Simulation	inline
operator=(const Simulation &)=delete (defined in ravel::Simulation)	ravel::Simulation
rng() noexcept	ravel::Simulation	inline
run_until_quiescent()	ravel::Simulation
scheduler() noexcept	ravel::Simulation	inline
Simulation(std::uint64_t seed, SimulationOptions options={})	ravel::Simulation	explicit
Simulation(const Simulation &)=delete	ravel::Simulation
trace() const noexcept	ravel::Simulation	inline
write_trace(std::ostream &out) const	ravel::Simulation