Abstract (implementation.Implementation.Protocol.Make.Abstract)

Parameters

module Event : Simulator.Events.Event

module Queue : Simulator.Events.EventQueue with type ev = Event.t

module Timer : Abstractions.Timer.Timer

module GoodNode : AbstractNode with type ev = Event.t

module BadNode : AbstractNode with type ev = Event.t and type value = GoodNode.value and type node_data = GoodNode.node_data

module Initializer : Initializer with type node = GoodNode.t and type ev = Event.t

module Logger : Simulator.Logging.Logger with type ev = Event.t

module Statistics : Simulator.Statistics.Stats

module Network : Abstractions.Network.Network

val run : unit -> unit

The main loop of the simulation.