Comment peut-on exprimer qu'une relation ne doit pas être cyclique?

Question

Tenir compte d'une relation upgrades:

je dois vous assurer que upgrades ne peut pas être circulaire. Comment puis-je faire cela en alliage?

Answer 1

Il suffit d'imposer la transitivité et l'antiréflexivité.

fact { 
    no a: Item | a in a.upgrades 
} 

fact{ 
    all a,b,c: Item | 
    a in b.upgrades and b in c.upgrades implies 
    a in c.upgrades 
} 

Answer 2

votre exemple, je déduis que le upgrades rapport ne vise pas à être transitif: dans l'exemple, une épée de diamant à niveau une épée de pierre, et une épée en pierre à niveau une épée en bois, mais la paire WoodSword - > DiamondSword n'est pas dans la relation upgrades.

Donc ce que vous voulez dire est quelque chose comme

fact upgrades_acyclic { 
    no x : univ | x in x.^upgrades 
} 

Certains modélisateurs préfèrent la formulation plus succincte en termes de relations:

fact upgrades_acyclic { no ^upgrades & iden }