MIET_counter/tmp/labanal/lab1_9/2.5/PROHOD.als
2024-03-17 16:01:20 +03:00

5 lines
136 B
Alloy

.ALIASES
Q_Q2 Q2(c=$N_0002 b=$N_0001 e=0 )
V_V3 V3(+=0 -=$N_0002 )
V_V4 V4(+=0 -=$N_0001 )
.ENDALIASES