List of all items
Structs
- CheckerBuilder
- Path
- PathRecorder
- Property
- RewritePlan
- StateRecorder
- UniformChooser
- actor::ActorModel
- actor::ActorModelState
- actor::Envelope
- actor::Id
- actor::Out
- actor::Timers
- actor::ordered_reliable_link::ActorWrapper
- actor::ordered_reliable_link::StateWrapper
- report::ReportData
- report::ReportDiscovery
- report::WriteReporter
- semantics::LinearizabilityTester
- semantics::SequentialConsistencyTester
- semantics::register::Register
- semantics::write_once_register::WORegister
- util::DenseNatMap
- util::HashableHashMap
- util::HashableHashSet
- util::VectorClock
Enums
- DiscoveryClassification
- Expectation
- actor::ActorModelAction
- actor::Command
- actor::LossyNetwork
- actor::Network
- actor::NetworkDeliverableIter
- actor::NetworkIter
- actor::ordered_reliable_link::MsgWrapper
- actor::ordered_reliable_link::TimerWrapper
- actor::register::RegisterActor
- actor::register::RegisterActorState
- actor::register::RegisterMsg
- actor::write_once_register::WORegisterActor
- actor::write_once_register::WORegisterActorState
- actor::write_once_register::WORegisterMsg
- semantics::register::RegisterOp
- semantics::register::RegisterRet
- semantics::vec::VecOp
- semantics::vec::VecRet
- semantics::write_once_register::WORegisterOp
- semantics::write_once_register::WORegisterRet
Traits
- Checker
- CheckerVisitor
- Chooser
- Model
- Representative
- Rewrite
- actor::Actor
- report::Reporter
- semantics::ConsistencyTester
- semantics::SequentialSpec
Functions
- actor::is_no_op
- actor::is_no_op_with_timer
- actor::majority
- actor::model_peers
- actor::model_timeout
- actor::peer_ids
- actor::spawn