    001package org.cpsolver.coursett.model;
    002
    003import java.util.Collection;
    004
    005import org.cpsolver.ifs.assignment.Assignment;
    006import org.cpsolver.ifs.solution.Solution;
    007import org.cpsolver.ifs.termination.TerminationCondition;
    008
    009
    010/**
    011 * Interface for student sectioning functions needed within the course timetabling solver.<br>
    012 * <br>
    013 * Many course offerings consist of multiple classes, with students enrolled in
    014 * the course divided among them. These classes are often linked by a set of
    015 * constraints, namely:
    016 * <ul>
    017 * <li>Each class has a limit stating the maximum number of students who can be
    018 * enrolled in it.
    019 * <li>A student must be enrolled in exactly one class for each subpart of a
    020 * course.
    021 * <li>If two subparts of a course have a parent-child relationship, a student
    022 * enrolled in the parent class must also be enrolled in one of the child
    023 * classes.
    024 * </ul>
    025 * Moreover, some of the classes of an offering may be required or prohibited
    026 * for certain students, based on reservations that can be set on an offering, a
    027 * configuration, or a class. <br>
    028 * While the data are loaded into the solver, an initial sectioning of students into
    029 * classes is processed (see {@link InitialSectioning}). However, it
    030 * is still possible to improve on the number of student conflicts in the
    031 * solution. This can be accomplished by moving students between alternative
    032 * classes of the same course during or after the search (see
    033 * {@link FinalSectioning}).
    034 *
    035 * @version CourseTT 1.3 (University Course Timetabling)<br>
    036 *          Copyright (C) 2014 Tomáš Müller<br>
    037 *          <a href="mailto:muller@unitime.org">muller@unitime.org</a><br>
    038 *          <a href="http://muller.unitime.org">http://muller.unitime.org</a><br>
    039 * <br>
    040 *          This library is free software; you can redistribute it and/or modify
    041 *          it under the terms of the GNU Lesser General Public License as
    042 *          published by the Free Software Foundation; either version 3 of the
    043 *          License, or (at your option) any later version. <br>
    044 * <br>
    045 *          This library is distributed in the hope that it will be useful, but
    046 *          WITHOUT ANY WARRANTY; without even the implied warranty of
    047 *          MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
    048 *          Lesser General Public License for more details. <br>
    049 * <br>
    050 *          You should have received a copy of the GNU Lesser General Public
    051 *          License along with this library; if not see
    052 *          <a href='http://www.gnu.org/licenses/'>http://www.gnu.org/licenses/</a>.
    053 */
    054public interface StudentSectioning {
    055
    056    /**
    057     * Enroll students into the given offering during the initial data load.
    058     * @param assignment current assignment
    059     * @param offeringId instructional offering id
    060     * @param courseName course name
    061     * @param students list of students to be sectioned
    062     * @param configurations list of configurations the students are to be sectioned into
    063     */
    064    public void initialSectioning(Assignment<Lecture, Placement> assignment, Long offeringId, String courseName, Collection<Student> students, Collection<Configuration> configurations);
    065
    066    /**
    067     * Return true if final student sectioning is implemented.
    068     * @return true if final student sectioning is implemented
    069     */
    070    public boolean hasFinalSectioning();
    071
    072    /**
    073     * Run student final sectioning (switching students between sections of the same
    074     * class in order to minimize overall number of student conflicts).
    075     * @param solution current solution
    076     * @param termination termination condition (optional)
    077     */
    078    public void switchStudents(Solution<Lecture, Placement> solution, TerminationCondition<Lecture, Placement> termination);
    079
    080    /**
    081     * Perform sectioning on the given lecture
    082     * @param assignment current assignment
    083     * @param lecture given lecture
    084     * @param recursive recursively resection lectures affected by a student swap
    085     * @param configAsWell resection students between configurations as well
    086     **/
    087    public void resection(Assignment<Lecture, Placement> assignment, Lecture lecture, boolean recursive, boolean configAsWell);
    088}