specless.specification.timed_partial_order.generate_random_timed_trace
- specless.specification.timed_partial_order.generate_random_timed_trace(nodes, initial_nodes: List[int], edge_costs: List[List[float]], node_costs: List[float] | None = None) List[Tuple[int, float]] [source]
Generate a random timed trace. Assume nodes includes the “initial nodes (depot)” which starts from 0.