v10a
∅ = V
v8
Ta + V = Tastarstar
v11
Tmstarstar = Tastarstar
v7
Tm = Ta
v3
Tv = Ta
v13
V = ∅
v10
Ttot + Tastarstar = ∅
v4
Ta + Ttot = ∅
v12
Ttot + Tmstarstar = ∅
v6
Tm + Ttot = ∅
v2
Tv + Ttot = ∅
v14
Tastarstar = Tmstarstar
v5
Ta = Ttot
v1
∅ = Ttot + Tv
∅ = Tm
∅ = Tmstarstar
Tastarstar = Ttot
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.
No manuscript information is available for this model.
No additional notes are available for this model.