specless.specification.timed_partial_order

Functions

`fixed_time_gap`
`generate_random_constraints`	Generate random constraints to generate a TPO Assume nodes includes the "initial nodes (depot)" which starts from 0.
`generate_random_timed_partial_order`
`generate_random_timed_trace`	Generate a random timed trace.

Classes