2
* \brief A block structure defined over the variables
4
* A block structure defined over the variables such that each block contains
5
* 1 or more variables, with the invariant that all constraints inside a block
6
* are satisfied by keeping the variables fixed relative to one another
9
* Tim Dwyer <tgdwyer@gmail.com>
11
* Copyright (C) 2005 Authors
13
* Released under GNU LGPL. Read the file 'COPYING' for more information.
16
#ifndef SEEN_REMOVEOVERLAP_BLOCKS_H
17
#define SEEN_REMOVEOVERLAP_BLOCKS_H
19
#ifdef RECTANGLE_OVERLAP_LOGGING
20
#define LOGFILE "cRectangleOverlap.log"
31
* A block structure defined over the variables such that each block contains
32
* 1 or more variables, with the invariant that all constraints inside a block
33
* are satisfied by keeping the variables fixed relative to one another
35
class Blocks : public std::set<Block*>
38
Blocks(const int n, Variable* const vs[]);
39
virtual ~Blocks(void);
40
void mergeLeft(Block *r);
41
void mergeRight(Block *l);
42
void split(Block *b, Block *&l, Block *&r, Constraint *c);
43
std::list<Variable*> *totalOrder();
47
void dfsVisit(Variable *v, std::list<Variable*> *order);
48
void removeBlock(Block *doomed);
53
extern long blockTimeCtr;
55
#endif // SEEN_REMOVEOVERLAP_BLOCKS_H