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
|
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE ttm PUBLIC "-//Tablix//DTD TTM 0.2.0//EN" "http://www.tablix.org/releases/dtd/tablix2r1.dtd">
<!--
BEGIN TTF BLOCK
(define periods 10)
(define (get-day tupleid) (quotient (get-time tupleid) periods))
(define (tuple-loop i j ok)
(if (< i j)
(tuple-loop (+ i 1) j
(and
ok
(time i (+ (get-time (- i 1)) 1))
(=
(quotient (get-time i) 10)
(quotient (get-time (- i 1)) 10)
)
)
)
ok
)
)
(test-ttf
(tuple-loop 2 7 #t)
(= (get-day 6) 0)
)
END TTF BLOCK
-->
<ttm version="0.2.0">
<modules>
<module name="sametime.so" weight="60" mandatory="yes"/>
<module name="timeplace.so" weight="60" mandatory="yes"/>
<module name="consecutive.so" weight="60" mandatory="yes"/>
<module name="fixedtime.so" weight="60" mandatory="yes"/>
</modules>
<resources>
<constant>
<resourcetype type="teacher">
<resource name="a"/>
</resourcetype>
<resourcetype type="class">
<linear name="#" from="1" to="3"/>
</resourcetype>
</constant>
<variable>
<resourcetype type="room">
<linear name="#" from="1" to="40"/>
</resourcetype>
<resourcetype type="time">
<matrix width="10" height="10"/>
</resourcetype>
</variable>
</resources>
<events>
<!-- 0 -->
<event name="test" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="1"/>
</event>
<!-- 1,2,3,4,5 -->
<event name="test" repeats="5">
<resource type="teacher" name="a"/>
<resource type="class" name="2"/>
<restriction type="consecutive"/>
</event>
<!-- 6 -->
<event name="test" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="2"/>
<restriction type="consecutive"/>
<restriction type="fixed-day">0</restriction>
</event>
<event name="test" repeats="1">
<resource type="teacher" name="a"/>
<resource type="class" name="3"/>
</event>
</events>
</ttm>
|
