forked from CorinnaKrebs/SolutionValidator
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathMinimalSupportTest.cpp
More file actions
86 lines (68 loc) · 3.19 KB
/
MinimalSupportTest.cpp
File metadata and controls
86 lines (68 loc) · 3.19 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
#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(MinimalSupportingTest) {
double alpha = 0.75;
unsigned int dim = 8;
public:
TEST_METHOD(InfeasiblePosition) {
// Stacked Item is hanging over by 1/2
ItemType type(1, dim, dim, dim, 0, false, 0);
Item itemBottom(0, 1, 0, type);
Item itemTop(1, 1, 0, type);
// Instance Creation
Customer customer(1, 0, 0, 2, 0, 0, 0, 0, 0);
std::vector<Customer> customers{ customer };
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(itemBottom);
instance.items.emplace_back(itemTop);
// Tour Creation
std::vector<unsigned int> customer_ids{ 1 };
std::vector<unsigned int> item_ids{ 0, 1 };
Tour tour(1, customer_ids, item_ids);
instance.items.at(itemBottom.id).setPosition(Point(0, 0, 0));
instance.items.at(itemTop.id) .setPosition(Point(0, dim/2, dim));
const unsigned int endPos = tour.item_ids.size();
ConstraintsLoading::getRelevantItems(instance.items.at(itemBottom.id), tour, endPos, instance);
ConstraintsLoading::getRelevantItems(instance.items.at(itemTop.id), tour, endPos, instance);
Assert::AreEqual(true, ConstraintsLoading::checkMinimalSupport(instance.items.at(itemBottom.id), alpha, instance, true));
Assert::AreEqual(false, ConstraintsLoading::checkMinimalSupport(instance.items.at(itemTop.id), alpha, instance, true));
Assert::AreEqual(1.0, instance.items.at(itemBottom.id).support);
Assert::AreEqual(0.5, instance.items.at(itemTop.id).support);
}
TEST_METHOD(FeasiblePosition) {
// Stacked Item is hanging over by 1/4
ItemType type(1, dim, dim, dim, 0, false, 0);
Item item1(0, 1, 0, type);
Item item2(1, 1, 0, type);
// Instance Creation
Customer customer(1, 0, 0, 2, 0, 0, 0, 0, 0);
std::vector<Customer> customers{ customer };
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(item1);
instance.items.emplace_back(item2);
// Tour Creation
std::vector<unsigned int> customer_ids{ 1 };
std::vector<unsigned int> item_ids{ 0, 1 };
Tour tour(1, customer_ids, item_ids);
// Positions
instance.items.at(item1.id).setPosition(Point(0, 0, 0));
instance.items.at(item2.id).setPosition(Point(0, dim/4, dim));
const unsigned int endPos = tour.item_ids.size();
ConstraintsLoading::getRelevantItems(instance.items.at(item1.id), tour, endPos, instance);
ConstraintsLoading::getRelevantItems(instance.items.at(item2.id), tour, endPos, instance);
// Tests
Assert::AreEqual(true, ConstraintsLoading::checkMinimalSupport(instance.items.at(item1.id), alpha, instance, true));
Assert::AreEqual(true, ConstraintsLoading::checkMinimalSupport(instance.items.at(item2.id), alpha, instance, true));
Assert::AreEqual(1.0, instance.items.at(item1.id).support);
Assert::AreEqual(0.75, instance.items.at(item2.id).support);
}
};
}