11 lines
392 B
Alloy
11 lines
392 B
Alloy
.ALIASES
|
|
C_C2 C2(1=0 2=$N_0001 )
|
|
M_M3 M3(d=$N_0002 g=$N_0003 s=0 b=0 )
|
|
M_M1 M1(d=$N_0003 g=$N_0003 s=0 b=0 )
|
|
R_R2 R2(1=$N_0001 2=$N_0004 )
|
|
C_C1 C1(1=0 2=$N_0002 )
|
|
R_R1 R1(1=$N_0003 2=$N_0005 )
|
|
Q_Q3 Q3(c=$N_0002 b=$N_0001 e=$N_0005 )
|
|
V_V1 V1(+=$N_0005 -=0 )
|
|
V_V3 V3(+=$N_0004 -=0 )
|
|
.ENDALIASES
|