MIET_counter/tmp/labanal/lab1_15/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_V2 V2(+=$N_0002 -=0 )
V_V1 V1(+=$N_0001 -=0 )
.ENDALIASES