-
Notifications
You must be signed in to change notification settings - Fork 0
/
feedback_map.idp
47 lines (36 loc) · 1.37 KB
/
feedback_map.idp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
/*
* permentier_map.idp
* Romeo Permentier
* 05/05/2021
*/
vocabulary V{
/* ----- TYPE ----- */
type Kleur
type Land
/* ----- CONSTANTE ----- */
/* ----- RELATIE ----- */
Grens(Land, Land)
ToegekendeKleur(Land, Kleur)
}
structure S: V {
Kleur = { Rood; Oranje; Geel; Groen; Blauw }
Land = { Belgie; Nederland; Duitsland; Luxemburg; Frankrijk; Zwitserland; Oostenrijk }
Grens = {
(Nederland,Belgie); (Nederland,Duitsland); (Belgie,Frankrijk);
(Belgie,Luxemburg); (Belgie,Duitsland); (Luxemburg,Frankrijk);
(Luxemburg, Duitsland); (Frankrijk,Duitsland); (Frankrijk,Zwitserland);
(Duitsland,Zwitserland); (Duitsland,Oostenrijk); (Zwitserland,Oostenrijk);
}
}
theory T: V {
// grenzende landen niet dezelfde kleur (opdracht)
?land1[Land] land2[Land] : !kleur1[Kleur] kleur2[Kleur]: (Grens(land1, land2) & kleur1 ~= kleur2) => (ToegekendeKleur(land1, kleur1) & ToegekendeKleur(land2, kleur2)). //BUG/ Deze klopt nog niet, zie feedback labo 1
// Elk land moet een kleur hebben (tip1)
!land[Land] : ?kleur[Kleur] : ToegekendeKleur(land, kleur).
// Elke land max 1 kleur (tip2)
!land[Land] kleur1[Kleur] kleur2[Kleur]: ToegekendeKleur(land, kleur1) & ToegekendeKleur(land, kleur2) => kleur1 = kleur2.
}
procedure main() {
stdoptions.nbmodels = 3
printmodels(modelexpand(T,S))
}