specless.specification.timed\_partial\_order
============================================

.. automodule:: specless.specification.timed_partial_order

   
   
   

   
   
   .. rubric:: Functions

   .. autosummary::
      :toctree:
      :nosignatures:
   
      fixed_time_gap
      generate_random_constraints
      generate_random_timed_partial_order
      generate_random_timed_trace
   
   

   
   
   .. rubric:: Classes

   .. autosummary::
      :toctree:
      :template: custom-class-template.rst
      :nosignatures:
   
      Service
      ServiceTimedPartialOrder
      TimedPartialOrder