public ProfessorTimeConstraint(string aName, Professor professor, TimeSpan start, TimeSpan end)
{
Name = aName;
this.prof = professor;
this.start = start;
this.end = end;
}
public TimeDayRequirement(Professor aProf, int aDay, TimeSpan aStart, TimeSpan aEnd)
{
Professor = aProf;
Day = aDay;
Start = aStart;
End = aEnd;
}
public TimeDayRequirement(Professor aProf, int aDay, TimeSpan aStart, TimeSpan aEnd)
{
Professor = aProf;
Day = aDay;
Start = aStart;
End = aEnd;
//Professor.Requierments.Add(this);
}
private void buttonCreateProfessor_Click(object sender, RoutedEventArgs e)
{
if (txtProfessorName.Text.Trim() != string.Empty)
{
Professor newProfessor = new Professor(txtProfessorName.Text);
Configuration.Instance.Professors.Add(newProfessor);
}
else MessageBox.Show("A professor name is required.");
}
public SingleProfessorDayLimitConstraint(Professor aProfessor, int aClassLimit)
{
prof = aProfessor;
classLimit = aClassLimit;
}
public SingleProfessorDayLimitConstraint(string aName, Professor aProfessor, int aClassLimit)
{
Name = aName;
prof = aProfessor;
classLimit = aClassLimit;
}
public ProfessorDayConstraint(Professor professor, List<int> daysOff)
{
prof = professor;
off = daysOff;
}
public Course(string aName, Professor aProf, CourseType aType)
{
Name = aName;
Professor = aProf;
CourseType = aType;
}
private void TestRoomTimeOverlap3()
{
config.Clear();
Stopwatch s = new Stopwatch();
var mitov = new Professor("Kiril Mitov");
var abrama = new Professor("Janet Abramowitch");
var r12 = new Room("12", CourseType.NormalCourse);
var r24 = new Room("24", CourseType.NormalCourse);
var r32 = new Room("32", CourseType.ComputerCourse);
var g11a = new StudentGroup("11A");
var g11g = new StudentGroup("11G");
var tp = new Course("TP", mitov, CourseType.ComputerCourse);
var maths = new Course("Maths", abrama, CourseType.NormalCourse);
var tp11a = new Class(g11a, tp, new TimeSpan(1, 20, 0), r32);
var math11g = new Class(g11g, maths, new TimeSpan(2, 0, 0), r32);
config.Rooms.Add(r12);
config.Rooms.Add(r24);
config.Rooms.Add(r32);
config.Groups.Add(g11a);
config.Groups.Add(g11g);
config.Professors.Add(mitov);
config.Professors.Add(abrama);
config.Courses.Add(tp);
config.Courses.Add(maths);
Schedule sched = new Schedule();
for (int i = 0; i < 7; i++)
{
sched.SetStartTime(i, g11a, new TimeSpan(8, 0, 0));
sched.SetStartTime(i, g11g, new TimeSpan(10, 0, 0));
}
sched[0][g11a] = new ObservableCollection<Class>();
sched[0][g11g] = new ObservableCollection<Class>();
sched[0][g11a].Add(tp11a);//11A class has TP from 8AM to 9:20AM in room 32
sched[0][g11g].Add(math11g);//11G class has Maths from 10AM to 12AM in room 32
//result should be true, rooms do not conflict
s.Start();
IConstraint c = new RoomTimeOverlapConstraint();
var result = c.Check(sched);
s.Stop();
string pass = result.ConstraintFulfilled == true ? "succeeded" : "failed";
Console.WriteLine("TestRoomTimeOverlap3() " + pass);
Console.WriteLine(result.ErrorMessage);
Console.WriteLine("{0} ms.", s.ElapsedMilliseconds);
}
private void TestProfessorDayAndTimeOff()
{
config.Clear();
Stopwatch s = new Stopwatch();
var mitov = new Professor("Kiril Mitov");
var abrama = new Professor("Janet Abramowitch");
var r12 = new Room("12", CourseType.NormalCourse);
var r24 = new Room("24", CourseType.NormalCourse);
var r32 = new Room("32", CourseType.ComputerCourse);
var g11a = new StudentGroup("11A");
var g11g = new StudentGroup("11G");
var tp = new Course("TP", mitov, CourseType.ComputerCourse);
var maths = new Course("Maths", abrama, CourseType.NormalCourse);
var tp11a = new Class(g11a, tp, new TimeSpan(1, 20, 0), r32);
var tp11g = new Class(g11g, tp, new TimeSpan(1, 20, 0), r24);
config.Rooms.Add(r12);
config.Rooms.Add(r24);
config.Rooms.Add(r32);
config.Groups.Add(g11a);
config.Groups.Add(g11g);
config.Professors.Add(mitov);
config.Professors.Add(abrama);
config.Courses.Add(tp);
config.Courses.Add(maths);
Schedule sched = new Schedule();
for (int i = 0; i < 7; i++)
{
sched.SetStartTime(i, g11a, new TimeSpan(8, 0, 0));
sched.SetStartTime(i, g11g, new TimeSpan(9, 35, 0));
}
sched[0][g11a] = new ObservableCollection<Class>();
sched[0][g11g] = new ObservableCollection<Class>();
sched[0][g11a].Add(tp11a);//11A class has TP from 8AM to 9:20AM in room 32 on monday
sched[0][g11g].Add(tp11g);//11G class has TP from 9:35AM to 10:55AM in room 24 on monday
//result should be false as professor day conflict
TimeSpan start = new TimeSpan(9, 30, 0);
TimeSpan end = new TimeSpan(16, 20, 0);
List<TimeDayRequirement> prevents = new List<TimeDayRequirement>();
TimeDayRequirement aPrevent = new TimeDayRequirement(mitov, 0, start, end);
prevents.Add(aPrevent);
s.Start();
IConstraint c = new ProfessorDayAndTimeConstraint(prevents);
var result = c.Check(sched);
s.Stop();
string pass = result.ConstraintFulfilled == false ? "succeeded" : "failed";
Console.WriteLine("TestProfessorDayAndTimeConstraint() " + pass);
Console.WriteLine(result.ErrorMessage);
Console.WriteLine("{0} ms.", s.ElapsedMilliseconds);
}
public ProfessorDayConstraint(string aName, Professor professor, List<int> daysOff)
{
Name = aName;
prof = professor;
off = daysOff;
}
public ProfessorTimeConstraint(Professor professor, TimeSpan start, TimeSpan end)
{
this.prof = professor;
this.start = start;
this.end = end;
}
