summaryrefslogtreecommitdiffstats
path: root/src/libvpsc/blocks.h
blob: b711a529f4ff46c054c633928cba6684b9742cfd (plain)
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
/*
 * Authors:
 *   Tim Dwyer <tgdwyer@gmail.com>
 *
 * Copyright (C) 2005 Authors
 *
 * Released under GNU LGPL.  Read the file 'COPYING' for more information.
 */

#ifndef SEEN_REMOVEOVERLAP_BLOCKS_H
#define SEEN_REMOVEOVERLAP_BLOCKS_H

#ifdef RECTANGLE_OVERLAP_LOGGING
#define LOGFILE "cRectangleOverlap.log"
#endif

#include <set>
#include <list>

namespace vpsc {

class Block;
class Variable;
class Constraint;

/**
 * A block structure defined over the variables such that each block contains
 * 1 or more variables, with the invariant that all constraints inside a block
 * are satisfied by keeping the variables fixed relative to one another.
 *
 * @todo check on this class being copy-n-paste duplicated.
 */
class Blocks : public std::set<Block*>
{
public:
    Blocks(const int n, Variable* const vs[]);

    virtual ~Blocks(void);

    /**
     * Processes incoming constraints, most violated to least, merging with the
     * neighbouring (left) block until no more violated constraints are found.
     */
    void mergeLeft(Block *r);

    /**
     * Symmetrical to mergeLeft.
     * @see mergeLeft
     */
    void mergeRight(Block *l);

    /**
     * Splits block b across constraint c into two new blocks, l and r (c's left
     * and right sides respectively).
     */
    void split(Block *b, Block *&l, Block *&r, Constraint *c);

    /**
     * Returns a list of variables with total ordering determined by the constraint 
     * DAG.
     */
    std::list<Variable*> *totalOrder();

    void cleanup();

    /**
     * Returns the cost total squared distance of variables from their desired
     * positions.
     */
    double cost();

private:
    void dfsVisit(Variable *v, std::list<Variable*> *order);

    void removeBlock(Block *doomed);

    Variable* const *vs;

    int nvs;
};

extern long blockTimeCtr;
}
#endif // SEEN_REMOVEOVERLAP_BLOCKS_H
/*
  Local Variables:
  mode:c++
  c-file-style:"stroustrup"
  c-file-offsets:((innamespace . 0)(inline-open . 0)(case-label . +))
  indent-tabs-mode:nil
  fill-column:99
  End:
*/
// vim: filetype=cpp:expandtab:shiftwidth=4:tabstop=8:softtabstop=4:fileencoding=utf-8:textwidth=99 :