pydistsim.restrictions

This module contains the restrictions that can be applied or checked in the simulation environment.

axioms

This module contains the definition of the axioms of the simulation environment.

base_restriction

Base classes for restrictions over message passing networks.

communication

Restrictions related to communication among entities/nodes.

knowledge

Restrictions relating to a priori knowledge of the network.

reliability

Restrictions related to reliability, faults, and their detection.

time

This module contains restrictions related to time and how it is handled in the simulation.

topological

Restrictions related to the communication topology of the underlying graph of the network.