Decision variables

Presents the decision variables used in the example.

The instance set is used to index the decision variable arrays used for the search, as follows: the start date of each course, the room in which the course is held, the teacher in charge of the course.

dvar int Start[InstanceSet] in Time;               // the course starting point
dvar int room[InstanceSet] in RoomId;              // the room in which the course is held
dvar int teacher[InstanceSet] in TeacherId;        // the teacher in charge of the course