File: constraint.cpp

package info (click to toggle)
tulip 4.8.0dfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 179,264 kB
  • ctags: 64,517
  • sloc: cpp: 600,444; ansic: 36,311; makefile: 22,136; python: 1,304; sh: 946; yacc: 522; xml: 337; pascal: 157; php: 66; lex: 55
file content (57 lines) | stat: -rw-r--r-- 1,236 bytes parent folder | download
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
/**
 * \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.
 */

#ifdef __clang__
#pragma clang diagnostic ignored "-Wtautological-undefined-compare"
#endif

#include "constraint.h"
#include <cassert>
namespace vpsc {
Constraint::Constraint(Variable *left, Variable *right, double gap, bool equality)
  : left(left),
    right(right),
    gap(gap), lm(0),
    timeStamp(0),
    active(false),
    visited(false),
    equality(equality) {
  left->out.push_back(this);
  right->in.push_back(this);
}
Constraint::~Constraint() {
  Constraints::iterator i;

  for(i=left->out.begin(); i!=left->out.end(); ++i) {
    if(*i==this) break;
  }

  left->out.erase(i);

  for(i=right->in.begin(); i!=right->in.end(); ++i) {
    if(*i==this) break;
  }

  right->in.erase(i);
}
std::ostream& operator <<(std::ostream &os, const Constraint &c) {
  if(&c==NULL) {
    os<<"NULL";
  }
  else {
    const char *type=c.equality?"=":"<=";
    os<<*c.left<<"+"<<c.gap<<type<<*c.right<<"("<<c.slack()<<")"<<(c.active?"-active":"");
  }

  return os;
}
}