Module Experiment.Density_avg

module Density_avg: sig .. end

Computes the average density of unsynchronized states, same paper.

module Experiment: functor (Topo : Types.Topology) -> functor (Synchro : Types.Synchronism) -> functor (Auto : Types.Rule) -> sig .. end