<?xml version='1.0'?>
<!-- 
File obtained from minittml distribution, version 0.2
Example TTML document by Ender Ozcan
-->

<time-tabling xmlns='http://minittml.alioth.debian.org/schema' type='University-Course-Timetabling' lastUpdate='2003-01-22T13:20:00.000-05:00'>
    <input-data>
        <author>Ender Ozcan</author>
        <desc>An example TTML document</desc>
        <variables>
            <attrset>
                <declare>
                    <ci>V</ci>
                    <vector>
                        <ci duration='2'> CSE211.01</ci>
                        <ci duration='2'> CSE211.02</ci>
                        <ci> CSE311.01</ci>
                        <ci> CSE462.01</ci>
                    </vector>
                </declare>
                <declare>
                    <ci>noOfStudents</ci>
                    <vector>
                        <ci> 34</ci>
                        <ci> 27</ci>
                        <ci> 20</ci>
                        <ci> 25</ci>
                    </vector>
                </declare>
            </attrset>
        </variables>
        <domains>
            <time>
                <declare>
                    <ci>T</ci>
                    <apply>
                        <tmatrix itype='row-column' start='1'/>
                        <cn>9</cn>
                        <cn>5</cn>
                    </apply>
                </declare>
            </time>
            <attrset>
                <declare>
                    <ci>classrooms</ci>
                    <vector>
                        <ci> A100</ci>
                        <ci> A201</ci>
                        <ci> B101</ci>
                        <ci> B103</ci>
                    </vector>
                </declare>
                <declare>
                    <ci>capacity</ci>
                    <vector>
                        <ci> 50</ci>
                        <ci> 30</ci>
                        <ci> 50</ci>
                        <ci> 50</ci>
                    </vector>
                </declare>
            </attrset>
            <domainsvar>
                <declare>
                    <ci>R</ci>
                    <apply>
                        <cartesianproduct/>
                        <ci> T </ci>
                        <ci> classrooms </ci>
                    </apply>
                </declare>
            </domainsvar>
        </domains>
        <constraints>
            <classifiers>
                <rootcl>
                    <declare>
                        <ci>lecturers</ci>
                        <set>
                            <ci>
                                <declare>
                                    <ci> Ender Ozcan </ci>
                                    <set>
                                        <ci> CSE211.01</ci>
                                        <ci> CSE311.01</ci>
                                    </set>
                                </declare>
                            </ci>
                            <ci>
                                <declare>
                                    <ci> Ferda Dogan </ci>
                                    <set>
                                        <ci> CSE211.02</ci>
                                        <ci> CSE462.01</ci>
                                    </set>
                                </declare>
                            </ci>
                        </set>
                    </declare>
                </rootcl>
                <rootcl>
                    <declare>
                        <ci>curriculum-terms</ci>
                        <set>
                            <ci>
                                <declare>
                                    <ci> Term#2 </ci>
                                    <set>
                                        <ci> CSE211.01</ci>
                                        <ci> CSE211.02</ci>
                                        <ci> CSE311.01</ci>
                                    </set>
                                </declare>
                            </ci>
                            <ci>
                                <declare>
                                    <ci> Term#3 </ci>
                                    <set>
                                        <ci> CSE462.01</ci>
                                    </set>
                                </declare>
                            </ci>
                        </set>
                    </declare>
                </rootcl>
            </classifiers>
            <hard>
                <coi>
                    <apply>
                        <nooverlap projection='child'/>
                        <ci>curriculum-terms</ci>
                    </apply>
                </coi>
                <coi>
                    <apply>
                        <nooverlap projection='child'/>
                        <ci>lecturers</ci>
                    </apply>
                </coi>
                <coi>
                    <apply>
                        <preset dim='classroom'/>
                        <ci>CSE211.01</ci>
                        <ci>A100</ci>
                    </apply>
                </coi>
                <!-- <coi>
                    <apply>
                        <exclude dim='T'/>
                        <ci>CSE311.01</ci>
                        <cn>
                            <vector>
                                <cn>1<sep/>1</cn>
                                <cn>2<sep/>2</cn>
                            </vector>
                        </cn>
                    </apply>
                </coi> -->
                <coi>
                    <apply>
                        <resnoclash projection='single' dim='classrooms'/>
                        <ci>V</ci>
                    </apply>
                </coi>
            </hard>
            <soft>
                <coi>
                    <apply>
                        <attrcomp projection='single' comp='&lt;='/>
                        <ci>V</ci>
                        <ci>T</ci>
                        <ci>noOfStudents</ci>
                        <ci>classrooms</ci>
                        <ci>capacity</ci>
                    </apply>
                </coi>
            </soft>
        </constraints>
    </input-data>
    <output>
        <li projection='child'>lecturers</li>
    </output>
    <test-results>
        <result>
            <author>Ender Ozcan</author>
            <desc> Problem is solved by TEDI, following is the best solution obtained in 50 runs </desc>
            <best>
                <asi>
                    <di>4<sep/>1</di>
                    <di>A100</di>
                </asi>
                <asi>
                    <di>4<sep/>2</di>
                    <di>B101</di>
                </asi>
                <asi>
                    <di>4<sep/>3</di>
                    <di>A201</di>
                </asi>
                <asi>
                    <di>4<sep/>4</di>
                    <di>B103</di>
                </asi>
            </best>
        </result>
    </test-results>
</time-tabling>
