v1
∅ = c
v2
c + ain = ca
v3
c = ∅
v4
v4
ca = ain + c
v5
v5
∅ = ain
v6
ain = ∅
v7
cap = ain
v8
ca = cap
v9
v9
∅ = n
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.