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
|
/**
* \brief A constraint determines a minimum or exact spacing required between
* two variables.
*
* Authors:
* Tim Dwyer <tgdwyer@gmail.com>
*
* Copyright (C) 2005 Authors
*
* Released under GNU LGPL. Read the file 'COPYING' for more information.
*/
#ifndef SEEN_REMOVEOVERLAP_CONSTRAINT_H
#define SEEN_REMOVEOVERLAP_CONSTRAINT_H
#include <iostream>
#include "variable.h"
namespace vpsc {
class Constraint {
friend std::ostream& operator <<(std::ostream &os,const Constraint &c);
public:
Variable *left;
Variable *right;
double gap;
double lm;
Constraint(Variable *left, Variable *right, double gap, bool equality=false);
~Constraint();
inline double slack() const {
return right->position() - gap - left->position();
}
long timeStamp;
bool active;
bool visited;
bool equality;
};
#include <float.h>
#include "block.h"
static inline bool compareConstraints(Constraint *const &l, Constraint *const &r) {
double const sl =
l->left->block->timeStamp > l->timeStamp
||l->left->block==l->right->block
?-DBL_MAX:l->slack();
double const sr =
r->left->block->timeStamp > r->timeStamp
||r->left->block==r->right->block
?-DBL_MAX:r->slack();
if(sl==sr) {
// arbitrary choice based on id
if(l->left->id()==r->left->id()) {
if(l->right->id()<r->right->id()) return true;
return false;
}
if(l->left->id()<r->left->id()) return true;
return false;
}
return sl < sr;
}
}
#endif // SEEN_REMOVEOVERLAP_CONSTRAINT_H
|
