用於串並聯電路的型號合金

Question

我是合金新手。 我需要幫助合金中的串聯和並聯電路。 我已經爲串聯電路建立了一個圖形，但是當我省略了系列中的自循環時，它不起作用 同時它也只顯示了該系列的一個實例。我必須表明，當開關接通時，在系列燈泡上...所以他們是國家和開啓和關閉擴展狀態的簽名..

我的代碼是：

abstract sig state{} 

one sig on extends state{} 

one sig off extends state{} 

sig CE{} 

//one sig battery extends CE{} 


abstract sig bulb extends CE{ 
bs : one state 
} 

abstract sig switch extends CE{ 
ss : one state 
} 

sig Circuit{ 
battery: one CE, 
/*eles: set state, 
battery:one eles, 
switch : set eles, 
bulb : set eles, 
wire: eles one-> one eles*/ 
wire: CE->CE 
}{ 
//all e:CE | #(e.wire)=1 and #(wire.e)=1 
battery.^wire=CE 
//no iden & wire 
//all e:CE | e->e not in wire 
} 

pred show{} 

run show for 1 Circuit, 5 CE 

Answer 1

我的建議是從一些非常小而簡單的事情開始。例如，您可以將電線，電池和燈泡以及子燈泡插入或關閉燈泡。有一件事與你的模型看起來有誤：僅僅將導線連接到元件就不夠好：你需要確定導線連接到元件的哪一側。