pydistsim.restrictions.axioms

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

These axioms are the basis of the definition of the distributed computing environment. They are modeled in the implementation itself so there is no need to implement the check method.

Classes

FiniteCommunicationDelays	In the absence of failures, communication delays are finite.
LocalOrientation	An entity can distinguish among its in and out neighbors.
SimulationAxiom	Base class for simulation axioms.