Editor GitHub co-design-modelslibraries plugsspecsmodelsthingsRavpower

docs

log in

Editor 𝖠▴A▾=		Visualization
mcdp { provides out1 [`DC_power] provides out2 [`DC_power] requires in [`AC_power] requires budget [USD] required budget ≽ 10.99 USD (required in).socket ≽ `socket_type : TypeA (provided out1).voltage ≼ `DC_voltages: v5 (provided out2).voltage ≼ `DC_voltages: v5 (provided out1).connector ≼ `USB_connectors:USB_Std_A (provided out2).connector ≼ `USB_connectors:USB_Std_A # this forces the two voltages to be the same # this says that the power sums amps = (provided out1).amps + (provided out2).amps amps ≼ 2.4 A power = 5 V · (amps) (required in).watts ≽ power (required in).voltage ≽ `AC_voltages: v110 (required in).socket ≽ `socket_type: TypeA (required in).frequency ≽ `AC_frequencies: f50 }		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