<?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 7)
(define (get-period tupleid) (modulo (get-time tupleid) periods))
(define (get-day tupleid) (quotient (get-time tupleid) periods))

(test-ttf
	(time 0 (get-time 1))
	(time 4 (get-time 3))
	(= (get-period 1) 0)
	(= (get-period 1) 0)
	(= (get-period 4) 0)
	(= (get-period 4) 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="sametimeas.so" weight="60" mandatory="yes"/>
		<module name="fixedtime.so" weight="60" mandatory="yes"/>
	</modules>

	<resources>
		<constant>
			<resourcetype type="teacher">
				<linear name="#" from="1" to="5"/>
			</resourcetype>
			<resourcetype type="class">
				<linear name="#" from="1" to="5"/>
			</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>
		<!-- 0 -->
		<event name="test1" repeats="1">
			<resource type="teacher" name="1"/>
			<resource type="class" name="1"/>
			<restriction type="same-time-as">test2</restriction>
		</event>
		<!-- 1 -->
		<event name="test2" repeats="1">
			<resource type="teacher" name="2"/>
			<resource type="class" name="2"/>
			<restriction type="fixed-day">0</restriction>
			<restriction type="fixed-period">0</restriction>
		</event>
		<!-- 2 -->
		<event name="test3" repeats="1">
			<resource type="teacher" name="3"/>
			<resource type="class" name="3"/>
		</event>
		<!-- 3 -->
		<event name="test4" repeats="1">
			<resource type="teacher" name="4"/>
			<resource type="class" name="4"/>
			<restriction type="same-time-as">test5</restriction>
		</event>
		<!-- 4 -->
		<event name="test5" repeats="1">
			<resource type="teacher" name="5"/>
			<resource type="class" name="5"/>
			<restriction type="fixed-day">1</restriction>
			<restriction type="fixed-period">1</restriction>
		</event>
	</events>
</ttm>
