forked from CorinnaKrebs/SolutionValidator
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathUSequenceTest.cpp
More file actions
132 lines (109 loc) · 6.57 KB
/
USequenceTest.cpp
File metadata and controls
132 lines (109 loc) · 6.57 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
#include "pch.h"
#include "CppUnitTest.h"
#include "../Validator/ConstraintsLoading.h"
#include <string>
#include <vector>
using namespace Microsoft::VisualStudio::CppUnitTestFramework;
using namespace validator;
namespace LoadingConstraints {
TEST_CLASS(USequenceTest) {
unsigned int dim = 5;
public:
TEST_METHOD(InfeasiblePositions) {
ItemType type(1, dim, dim, dim, 0, false, 0);
Item item1(0, 1, 0, type);
Item item2(1, 2, 0, type);
// Instance Creation
Customer customer1(1, 0, 0, 1, 0, 0, 0, 0, 0);
Customer customer2(2, 0, 0, 1, 0, 0, 0, 0, 0);
std::vector<Customer> customers{ customer1, customer2 };
std::vector<ItemType> itemtypes{ type };
Instance instance("", Vehicle(0, 0, 0, 0, 0, 0, 0, 0, 0), itemtypes, customers, 5, 0);
instance.items.emplace_back(item1);
instance.items.emplace_back(item2);
// Tour Creation
std::vector<unsigned int> customer_ids{ 1, 2 };
std::vector<unsigned int> item_ids{ 0, 1 };
Tour tour(1, customer_ids, item_ids);
// First Served Item Behind Second Served Item
instance.items.at(item1.id).setPosition(Point(0, 0, 0));
instance.items.at(item2.id).setPosition(Point(dim, 0, 0));
// Tests
const unsigned int endPos = tour.item_ids.size();
Assert::AreEqual(false, ConstraintsLoading::checkUnloadingSequence(instance.items.at(item1.id), tour, endPos, UnloadingSequence::LIFO, instance, true));
Assert::AreEqual(true, ConstraintsLoading::checkUnloadingSequence(instance.items.at(item2.id), tour, endPos, UnloadingSequence::LIFO, instance, true));
Assert::AreEqual(false, ConstraintsLoading::checkUnloadingSequence(instance.items.at(item1.id), tour, endPos, UnloadingSequence::MLIFO, instance, true));
Assert::AreEqual(true, ConstraintsLoading::checkUnloadingSequence(instance.items.at(item2.id), tour, endPos, UnloadingSequence::MLIFO, instance, true));
// First Served Item Under Second Served Item
instance.items.at(item1.id).setPosition(Point(0, 0, 0));
instance.items.at(item2.id).setPosition(Point(0, 0, dim));
// Tests
Assert::AreEqual(false, ConstraintsLoading::checkUnloadingSequence(instance.items.at(item1.id), tour, endPos, UnloadingSequence::LIFO, instance, true));
Assert::AreEqual(true, ConstraintsLoading::checkUnloadingSequence(instance.items.at(item2.id), tour, endPos, UnloadingSequence::LIFO, instance, true));
Assert::AreEqual(false, ConstraintsLoading::checkUnloadingSequence(instance.items.at(item1.id), tour, endPos, UnloadingSequence::MLIFO, instance, true));
Assert::AreEqual(true, ConstraintsLoading::checkUnloadingSequence(instance.items.at(item2.id), tour, endPos, UnloadingSequence::MLIFO, instance, true));
}
TEST_METHOD(Differences) {
ItemType typeNormal(1, dim, dim, dim, 0, false, 0);
ItemType typeHigh (2, dim, dim, 2 * dim, 0, false, 0);
ItemType typeLong (3, 2 * dim, dim, dim, 0, false, 0);
Item itemC1(0, 1, 0, typeNormal);
Item itemC2High(1, 2, 0, typeHigh);
Item itemC2Long(2, 2, 0, typeLong);
// Instance Creation
Customer customer1(1, 0, 0, 1, 0, 0, 0, 0, 0);
Customer customer2(2, 0, 0, 2, 0, 0, 0, 0, 0);
std::vector<Customer> customers{ customer1, customer2 };
std::vector<ItemType> itemtypes{ typeNormal, typeHigh, typeLong };
Instance instance("", Vehicle(0, 0, 0, 0, 0, 0, 0, 0, 0), itemtypes, customers, 0, 0);
instance.items.emplace_back(itemC1);
instance.items.emplace_back(itemC2High);
instance.items.emplace_back(itemC2Long);
// Tour Creation
std::vector<unsigned int> customer_ids{ 1, 2 };
std::vector<unsigned int> item_ids{ 0, 1, 2 };
Tour tour(1, customer_ids, item_ids);
// Customer2 : Item High in Origin, Long on Top of High -> Overhanging
// Customer1 : Item in Front of High
instance.items.at(itemC2High.id).setPosition(Point(0, 0, 0));
instance.items.at(itemC2Long.id).setPosition(Point(0, 0, 2 * dim));
instance.items.at(itemC1.id) .setPosition(Point(dim, 0, 0));
// According MLIFO: everything is fine
const unsigned int endPos = tour.item_ids.size();
Assert::AreEqual(true, ConstraintsLoading::checkUnloadingSequence(instance.items.at(itemC2High.id), tour, endPos, UnloadingSequence::MLIFO, instance, true));
Assert::AreEqual(true, ConstraintsLoading::checkUnloadingSequence(instance.items.at(itemC2Long.id), tour, endPos, UnloadingSequence::MLIFO, instance, true));
Assert::AreEqual(true, ConstraintsLoading::checkUnloadingSequence(instance.items.at(itemC1.id), tour, endPos, UnloadingSequence::MLIFO, instance, true));
// According LIFO: Item of Customer 1 has no feasible position
Assert::AreEqual(true, ConstraintsLoading::checkUnloadingSequence(instance.items.at(itemC2High.id), tour, endPos, UnloadingSequence::LIFO, instance, true));
Assert::AreEqual(true, ConstraintsLoading::checkUnloadingSequence(instance.items.at(itemC2Long.id), tour, endPos, UnloadingSequence::LIFO, instance, true));
Assert::AreEqual(false, ConstraintsLoading::checkUnloadingSequence(instance.items.at(itemC1.id), tour, endPos, UnloadingSequence::LIFO, instance, true));
}
TEST_METHOD(FeasiblePosition) {
ItemType type(1, dim, dim, dim, 0, false, 0);
Item itemC1(0, 1, 0, type);
Item itemC2(1, 2, 0, type);
// Instance Creation
Customer customer1(1, 0, 0, 1, 0, 0, 0, 0, 0);
Customer customer2(2, 0, 0, 1, 0, 0, 0, 0, 0);
std::vector<Customer> customers{ customer1, customer2 };
std::vector<ItemType> itemtypes{ type };
Instance instance("", Vehicle(0, 0, 0, 0, 0, 0, 0, 0, 0), itemtypes, customers, 0, 0);
instance.items.emplace_back(itemC1);
instance.items.emplace_back(itemC2);
// Tour Creation
std::vector<unsigned int> customer_ids{ 1, 2 };
std::vector<unsigned int> item_ids{ 1, 0 };
Tour tour(1, customer_ids, item_ids);
// Customer2 : Item in Origin
// Customer1 : Item in Front
instance.items.at(itemC2.id).setPosition(Point(0, 0, 0));
instance.items.at(itemC1.id).setPosition(Point(dim, 0, 0));
// Tests
const unsigned int endPos = tour.item_ids.size();
Assert::AreEqual(true, ConstraintsLoading::checkUnloadingSequence(instance.items.at(itemC1.id), tour, endPos, UnloadingSequence::MLIFO, instance, true));
Assert::AreEqual(true, ConstraintsLoading::checkUnloadingSequence(instance.items.at(itemC2.id), tour, endPos, UnloadingSequence::MLIFO, instance, true));
Assert::AreEqual(true, ConstraintsLoading::checkUnloadingSequence(instance.items.at(itemC1.id), tour, endPos, UnloadingSequence::LIFO, instance, true));
Assert::AreEqual(true, ConstraintsLoading::checkUnloadingSequence(instance.items.at(itemC2.id), tour, endPos, UnloadingSequence::LIFO, instance, true));
}
};
}