Editor GitHub dtemkin1libraries routingspecsmodelsthingsrouting_service

docs

log in

Editor 𝖠▴A▾=		Visualization
dp { # demand satisfied by a BiRD run provides students_served [Nat] provides monitor_students_served [Nat] provides wheelchair_students_served [Nat] # demand left unserved by the same BiRD run requires students_unserved [Nat] requires monitor_students_unserved [Nat] requires wheelchair_students_unserved [Nat] # route complexity and staffing selected by BiRD requires stops_used [Nat] requires unique_stops_used [Nat] requires monitor_buses [Nat] # used buses by fleet type requires used_C [Nat] requires used_B [Nat] requires used_BWC [Nat] requires used_WC [Nat] # daily telemetry by fleet type requires distance_C [km] requires distance_B [km] requires distance_BWC [km] requires distance_WC [km] requires runtime_C [s] requires runtime_B [s] requires runtime_BWC [s] requires runtime_WC [s] # discrete BiRD configuration choices requires bird_method [`bird_method] requires bird_lambda [`bird_lambda] requires bird_partial [`bird_partial] requires bird_dwell [`bird_dwell] requires bird_arrival_window [`bird_arrival_window] requires bird_avg_speed [`bird_avg_speed] requires student_policy [`student_policy] implemented-by yaml resource("routing_service.dpc.yaml") }		Diagramremove Other informationremove zoom-to-fit re-layout export image Regular Expanded Exploded Pre-processed Processed no icons only simple icons show icons show units hide units Internal representation details Internal representation Internal representation (verbose) YAML representation Compiled DP Compiled DP - YAML representation Poset F Poset R Poset I (implementations) Space B (blueprint-relevant implementations) Map I → B Map solve_f: F → UR Map solve_r: R → LF Map provides: I → F Map requires: I → R Map feasibility: F x R' → Bool Map availability: I → Bool Map solve_f_b: F → UR[B] Map solve_r_b: R → LF[B] Map solve_f_i: F → UR[I] Map solve_r_i: R → LF[I] Figure: ndp_repr_long Figure: ndp_gojs_wrap_expand Figure: ndp_gojs_wrap_expand_never Figure: ndp_gojs_nowrap_expand Figure: ndp_gojs_wrap_noexpand Figure: ndp_gojs_wrap_noexpand_units Figure: ndp_gojs_wrap_noexpand_never Figure: ndp_gojs_nowrap_noexpand Figure: ndp_gojs_nowrap_noexpand_units Figure: ndp_gojs_interface Figure: dp_graph_flow_LR Figure: dp_graph_flow_TB Figure: dp_graph_tree_LR Figure: dp_graph_tree_TB Figure: dp_graph_tree_compact_LR Figure: dp_graph_tree_compact_TB Figure: dp_repr_long (updating)

hel1-z7-prod-editor-2 Restart page