pydistsim.restrictions.axioms.SimulationAxiom

class SimulationAxiom[source]

Base class for simulation axioms.

Methods

`__init__`
`check`	Check if the axiom is satisfied by the network.
`get_help_message`

classmethod check(network: NetworkType) → bool[source]

Check if the axiom is satisfied by the network. As the axioms are modeled in the implementation itself, it is not necessary to implement this method.

Parameters:: network (NetworkType) – The network object representing the simulation network.
Returns:: True if the axiom is satisfied, False otherwise.
Return type:: bool