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

9 lines
288 B
Alloy

.ALIASES
C_C2 C2(1=0 2=$N_0001 )
R_R2 R2(1=$N_0001 2=$N_0002 )
C_C1 C1(1=0 2=$N_0003 )
Q_Q3 Q3(c=$N_0003 b=$N_0001 e=$N_0004 )
V_V1 V1(+=$N_0004 -=0 )
I_I1 I1(+=$N_0003 -=0 )
V_V3 V3(+=$N_0002 -=0 )
.ENDALIASES