mirror of
http://172.16.200.102/MOISE/Pattern-Instanciation-On-System-Engineering-Model.git
synced 2025-12-26 14:43:57 +01:00
41 lines
939 B
Plaintext
41 lines
939 B
Plaintext
|
model unfold_NVerProg {
|
||
|
|
component NVerProg(in i_1,in i_2,out o_1,out o_2) {
|
||
|
|
component vote_2(in i_1,in i_2,in i_3,out o_1) {
|
||
|
|
|
||
|
|
}
|
||
|
|
component vote_1(in i_1,in i_2,in i_3,out o_1) {
|
||
|
|
|
||
|
|
}
|
||
|
|
component dupl_2(in i_1,out o_1,out o_2,out o_3) {
|
||
|
|
|
||
|
|
}
|
||
|
|
component dupl_1(in i_1,out o_1,out o_2,out o_3) {
|
||
|
|
|
||
|
|
}
|
||
|
|
component comp_3(in i_1,in i_2,out o_1,out o_2) {
|
||
|
|
|
||
|
|
}
|
||
|
|
component comp_2(in i_1,in i_2,out o_1,out o_2) {
|
||
|
|
|
||
|
|
}
|
||
|
|
component comp_1(in i_1,in i_2,out o_1,out o_2) {
|
||
|
|
|
||
|
|
}
|
||
|
|
i_2 -> dupl_2.i_1
|
||
|
|
i_1 -> dupl_1.i_1
|
||
|
|
dupl_2.o_3 -> comp_3.i_2
|
||
|
|
dupl_2.o_2 -> comp_2.i_2
|
||
|
|
dupl_2.o_1 -> comp_1.i_2
|
||
|
|
dupl_1.o_3 -> comp_3.i_1
|
||
|
|
dupl_1.o_2 -> comp_2.i_1
|
||
|
|
dupl_1.o_1 -> comp_1.i_1
|
||
|
|
comp_3.o_2 -> vote_2.i_3
|
||
|
|
comp_3.o_1 -> vote_1.i_3
|
||
|
|
comp_2.o_2 -> vote_2.i_2
|
||
|
|
comp_2.o_1 -> vote_1.i_2
|
||
|
|
comp_1.o_2 -> vote_2.i_1
|
||
|
|
comp_1.o_1 -> vote_1.i_1
|
||
|
|
vote_2.o_1 -> o_2
|
||
|
|
vote_1.o_1 -> o_1
|
||
|
|
}
|
||
|
|
}
|