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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
|
<!--
BEGIN TTF BLOCK
(define days 5)
(define periods 7)
; number of defined events
(define tuplenum 20)
(define max-cons 3)
(define (get-day tupleid) (quotient (get-time tupleid) periods))
(define (get-period tupleid) (modulo (get-time tupleid) periods))
; vector similar to time extension
(define time-ext (make-vector (* days periods) -1))
; fill in time-ext vector
(define (update-ext)
(let loop ((i 0))
(if (< i tuplenum)
(begin
(vector-set! time-ext (get-time i) i)
(loop (+ i 1)))
#t)))
(define (check-block start num)
(let loop ((i 0) (result #t) (cons 0))
(if (< i num) (begin
(if (= (vector-ref time-ext (+ i start)) -1)
(begin
(if (> cons max-cons)
(define result #f))
(define cons 0))
(define cons (+ cons 1)))
(loop (+ i 1) result cons))
result)))
(test-ttf
(update-ext)
(check-block 0 periods)
(check-block 7 periods)
(check-block 14 periods)
(check-block 21 periods)
(check-block 28 periods))
END TTF BLOCK
-->
<ttm version="0.2.0">
<modules>
<module name="sametime" weight="60" mandatory="yes"/>
<module name="timeplace" weight="60" mandatory="yes"/>
<module name="maxconsecutive" weight="60" mandatory="yes">
<option name="max-different">2</option>
</module>
</modules>
<resources>
<constant>
<resourcetype type="teacher">
<resource name="a"/>
</resourcetype>
<resourcetype type="class">
<resource name="1"/>
</resourcetype>
</constant>
<variable>
<resourcetype type="room">
<linear name="#" from="1" to="40"/>
</resourcetype>
<resourcetype type="time">
<matrix width="5" height="7"/>
</resourcetype>
</variable>
</resources>
<events>
<event name="test-1" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-2" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-3" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-4" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-5" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-6" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-7" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-8" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-9" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-10" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-11" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-12" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-13" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-14" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-15" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-16" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-17" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-18" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-19" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<event name="test-20" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
</events>
</ttm>
|
