|
Editor |
Visualization |
||||
|
Internal representation detailsSimpleWrap │ provides property1 SB({1, 2, 3, 4}) furlongs │ requires temperature SB({120, 130, 140, 150}) C │ provides property2 SB({1, 2}) furlongs │ requires specific_cost SB({1, 2, 3, 4}) $/mm³ └ DP_Catalog WU ⟨furlongs,furlongs⟩ ⇸ WU ⟨C,$/mm³⟩ └ (property1:SB({1, 2, 3, 4})×property2:SB({1, 2})) └ Π<2> ⟨1 furlongs,1 furlongs⟩ ↤ material1 ↦ ⟨120 C,1 $/mm³⟩ ├ temperature: SB({120, 130, 140, 150}) ⟨2 furlongs,1 furlongs⟩ ↤ material2 ↦ ⟨130 C,2 $/mm³⟩ └ specific_cost: SB({1, 2, 3, 4}) ⟨3 furlongs,2 furlongs⟩ ↤ material3 ↦ ⟨140 C,3 $/mm³⟩ catalogue(𝒇, 𝒓) ⟨4 furlongs,1 furlongs⟩ ↤ material4 ↦ ⟨150 C,4 $/mm³⟩ |
||||