Editor GitHub RicoFiolibraries framinghamspecsmodelsthingsrouting

docs

log in

Editor 𝖠▴A▾=		Visualization
mcdp { provides distance [km] provides rounds_used [Nat] provides monitor_buses [Nat] provides fleet_composition [`fleet_composition] requires total_cost [USD] requires emissions [kg] requires round_penalty [USD] sub fuel = instance `fuel sub driver = instance `driver sub monitor = instance `monitor sub rounds = instance `rounds sub maintenance = instance `maintenance sub fleet = instance `fleet sub fleet_bus_count = instance `fleet_bus_count distance provided by fuel >= provided distance distance provided by maintenance >= provided distance rounds_used provided by maintenance >= provided rounds_used monitor_buses provided by monitor >= provided monitor_buses rounds_used provided by rounds >= provided rounds_used fleet_composition provided by fleet >= provided fleet_composition fleet_composition provided by fleet_bus_count >= provided fleet_composition buses_used provided by driver >= buses_used required by fleet_bus_count required total_cost >= ( fuel_cost required by fuel + driver_cost required by driver + monitor_cost required by monitor + maintenance_cost required by maintenance + capital_cost required by fleet ) required emissions >= emissions required by fuel required round_penalty >= round_penalty required by rounds }		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-4 Restart page