MIET_counter/tmp/labanal/lab1_11/amp_var15.als
2024-03-30 14:59:23 +03:00

9 lines
299 B
Alloy

.ALIASES
R_R2 R2(1=$N_0002 2=$N_0001 )
C_C1 C1(1=0 2=$N_0003 )
M_M16 M16(d=$N_0003 g=$N_0002 s=$N_0004 b=$N_0004 )
V_V1 V1(+=$N_0004 -=0 )
C_C2 C2(1=0 2=$N_0002 )
R_R5 R5(1=0 2=$N_0003 )
V_V3 V3(+=$N_0001 -=0 )
.ENDALIASES