|
Editor |
Visualization |
||||
|
Internal representation detailsTemplatized │ provides temperature SB(≥0) C │ requires budget SB(≥0) $ │ │ requires mass SB(≥0) kg │ │ requires electric_power SB(≥0) W └ DP_True SB(≥0) C ⇸ SB(≥0)×SB(≥0)×SB(≥0) ⟨$,kg,W⟩ val = * > () true |
||||