[alloy] 'in' operator doet toevoeging ipv query

[Boudewijn]

Hoihoi


Ik ben momenteel in Alloy aan het coden, en wil een OV-netwerkje modelleren.
Gaat hardstikke prima, ik heb lijnen en stations (de metro van a'dam modelleer ik).

Dit is mijn code:

code:

sig Lijn 
{
    halte : set Halte,  
    eindStation : set Halte
}


sig Halte 
{
    lijn : set Lijn,
    verbinding : set Halte, //directe verbindingen
    verbinding1overstap : set Halte,//verbindingen met 1 overstap
    verbinding2overstap : set Halte, //verbindingen met 2 overstappen
    bereikbaar : set Halte
}


fact bereikbaar
{
    //eerst de haltes een eigen lijn variabele geven
    all l : Lijn 
    {
        all h : Halte | h in l.halte <=>  l in h.lijn
    }


    //vervolgens gaan we kijken welke haltes bij elkaar in de lijn zitten. Deze zijn dus direct bereikbaar ZONDER overstappen.
    // Deze hebben dan verbinding
    all l1 : Lijn
    {
        all h1,h2: Halte 
        {
            h1 in l1.halte && h2 in l1.halte && h1!=h2  => h2 in h1.verbinding
        }
    }

    
    //verbinding1overstap
    all h1,h2,h3: Halte 
    {
        h2 in h1.verbinding  && h3 in h2.verbinding && h3 !in h1.verbinding && (h1!= h2 && h1!= h3) => h3 in h1.verbinding1overstap 
    }


    //in amsterdam is ALLES met ALLES bereikbaar vermits unlimited overstaps (dus geen 'eilandjes')
    //NOOT: Deze staat uit om de graf zichtbaar te houden

    //bereikbaar=^(verbinding)
    
}


fact bereikbaar2overstap
{

    //verbinding1overstap
    all h1, h2,h3 : Halte 
    {   
            (h2 in h1.verbinding1overstap ) && (h3 in h2.verbinding) => h3 in h1.verbinding2overstap            
    }
    
    
}

Nu valt het op dat in het laatste fact er een en ander misgaat: hij voert "h2 in h1.verbinding1overstap" uit als commando.
Nu is die h1.verbinding1overstap hierna dus leeg.


Dit komt omdat de in operator als set-toevoeging werkt als je een object in set doet, en als vergelijkingsoperator als je set in set doet.

Nu wil ik dus slim van h2 een set maken; hoe kan ik dat het mooiste doen?
(h2+h2-h2) ofzo zal vast kunnen, maar is mi. te goor voor woorden.

Iemand leuk ideetje?

[Boudewijn]

Schopje. Iemand nog een idee?

[NDF82]

Ik neem aan dat je software testen aan de uva aan het doen bent. Vraag het aan je docent (jan van e, paul g?). Voor mij is het te lang geleden en ik denk dat de meeste hier op het forum nog nooit alloy gebruikt hebben.

[Boudewijn]

Lekker late reply.

Inderdaad, helemaal raak.
Probleem is dat het vak niet meer draait (nov. was het) en beiden niet reageren.

Nog steeds aan het klooien en ik krijg het maar niet goed.
Iemand nog ideeen? Anders gaat het maar de mailinglist op.