specless.specification.timed_partial_order.generate_random_timed_partial_order

specless.specification.timed_partial_order.generate_random_timed_partial_order(num_nodes: int, edge_probability: float = 0.3, global_clock_probability: float = 0.3, local_clock_probability: float = 0.3, fixed_time_window: int = 30) → TimedPartialOrder