Q

對稱性破缺謂語

alloy

2012-11-21 41 views 0 likes

0

說我有一個簡單的模型如下： SIG p {R：了一些p-} SIG Q {} 運行{} 2 P，2 Q對稱性破缺謂語

有誰知道這裏如何合金會生成對稱破缺謂詞以減少此模型的實例數量？

2012-11-21 user1197891

A

回答

3

合金本身依賴另一個稱爲Kodkod的關係模型發現者作爲其後端。南美林貓產生使用稱爲貪婪基本分割技術，這是在埃米娜托爾拉克的論文中詳述（第3章）對稱性破缺謂語：

http://people.csail.mit.edu/emina/pubs/kodkod.phd.pdf

2012-11-22 14:59:08

+0

好了，說你有E1關係的常量和e2其捕獲超過a1和關係a2，對稱性爲（a1，a2）。我知道a1和a2之間的對稱性可以被破壞，但關係常數e1和e2又是如何對稱的呢？那麼如何打破這種對稱性呢？ – user1197891

+0

我想我知道。 – user1197891

相關問題

1. 擷取的特性 - 謂語
2. Enumerable.Where（謂語）與Enumerable.All（謂語）
3. 謂語
4. LINQ凡（謂語）與FirstOrDefault（謂語）
5. jslint缺少屬性名稱
6. 的iOS - 過濾集性能謂語
7. 謂語陣列
8. 關於「一對多」和謂語
9. 對Python目標使用語義謂詞
10. HTML註釋缺少對稱