0
14
0
6
3
6
3
14
11
19
10
44
22
| ... | ... |
@@ -89,7 +89,8 @@ |
| 89 | 89 |
|
| 90 | 90 |
\subsection cs-loc-var Class and instance member variables, auto variables |
| 91 | 91 |
|
| 92 |
The names of class and instance member variables and auto variables |
|
| 92 |
The names of class and instance member variables and auto variables |
|
| 93 |
(=variables used locally in methods) should look like the following. |
|
| 93 | 94 |
|
| 94 | 95 |
\code |
| 95 | 96 |
all_lower_case_with_underscores |
| ... | ... |
@@ -227,7 +227,8 @@ |
| 227 | 227 |
maximum flow is the \f$f_a\f$ solution of the next optimization problem: |
| 228 | 228 |
|
| 229 | 229 |
\f[ 0 \le f_a \le c_a \f] |
| 230 |
\f[ \sum_{v\in\delta^{-}(u)}f_{vu}=\sum_{v\in\delta^{+}(u)}f_{uv}
|
|
| 230 |
\f[ \sum_{v\in\delta^{-}(u)}f_{vu}=\sum_{v\in\delta^{+}(u)}f_{uv}
|
|
| 231 |
\qquad \forall u \in V \setminus \{s,t\}\f]
|
|
| 231 | 232 |
\f[ \max \sum_{v\in\delta^{+}(s)}f_{uv} - \sum_{v\in\delta^{-}(s)}f_{vu}\f]
|
| 232 | 233 |
|
| 233 | 234 |
LEMON contains several algorithms for solving maximum flow problems: |
| ... | ... |
@@ -267,7 +268,8 @@ |
| 267 | 268 |
\f$c_a:A\rightarrow\mathbf{R}^+_0\f$ capacity function. The minimum
|
| 268 | 269 |
cut is the \f$X\f$ solution of the next optimization problem: |
| 269 | 270 |
|
| 270 |
\f[ \min_{X \subset V, X\not\in \{\emptyset, V\}}
|
|
| 271 |
\f[ \min_{X \subset V, X\not\in \{\emptyset, V\}}
|
|
| 272 |
\sum_{uv\in A, u\in X, v\not\in X}c_{uv}\f]
|
|
| 271 | 273 |
|
| 272 | 274 |
LEMON contains several algorithms related to minimum cut problems: |
| 273 | 275 |
|
| ... | ... |
@@ -300,7 +302,8 @@ |
| 300 | 302 |
@ingroup algs |
| 301 | 303 |
\brief Algorithms for planarity checking, embedding and drawing |
| 302 | 304 |
|
| 303 |
This group describes the algorithms for planarity checking, |
|
| 305 |
This group describes the algorithms for planarity checking, |
|
| 306 |
embedding and drawing. |
|
| 304 | 307 |
|
| 305 | 308 |
\image html planar.png |
| 306 | 309 |
\image latex planar.eps "Plane graph" width=\textwidth |
| ... | ... |
@@ -477,7 +480,8 @@ |
| 477 | 480 |
@ingroup io_group |
| 478 | 481 |
\brief Reading and writing \ref lgf-format "Lemon Graph Format". |
| 479 | 482 |
|
| 480 |
This group describes methods for reading and writing |
|
| 483 |
This group describes methods for reading and writing |
|
| 484 |
\ref lgf-format "Lemon Graph Format". |
|
| 481 | 485 |
*/ |
| 482 | 486 |
|
| 483 | 487 |
/** |
| ... | ... |
@@ -395,16 +395,16 @@ |
| 395 | 395 |
o!=i->second.opts.end();++o) |
| 396 | 396 |
if(_opts.find(*o)->second.set) ++set; |
| 397 | 397 |
if(i->second.mandatory&&!set) {
|
| 398 |
std::cerr << _command_name |
|
| 399 |
<< ": At least one of the following arguments is mandatory.\n"; |
|
| 398 |
std::cerr << _command_name << |
|
| 399 |
": At least one of the following arguments is mandatory.\n"; |
|
| 400 | 400 |
ok=false; |
| 401 | 401 |
for(GroupData::Opts::iterator o=i->second.opts.begin(); |
| 402 | 402 |
o!=i->second.opts.end();++o) |
| 403 | 403 |
showHelp(_opts.find(*o)); |
| 404 | 404 |
} |
| 405 | 405 |
if(i->second.only_one&&set>1) {
|
| 406 |
std::cerr << _command_name |
|
| 407 |
<< ": At most one of the following arguments can be given.\n"; |
|
| 406 |
std::cerr << _command_name << |
|
| 407 |
": At most one of the following arguments can be given.\n"; |
|
| 408 | 408 |
ok=false; |
| 409 | 409 |
for(GroupData::Opts::iterator o=i->second.opts.begin(); |
| 410 | 410 |
o!=i->second.opts.end();++o) |
| ... | ... |
@@ -151,8 +151,9 @@ |
| 151 | 151 |
/// - \c LEMON_ASSERT_CUSTOM The user can define own assertion handler |
| 152 | 152 |
/// function. |
| 153 | 153 |
/// \code |
| 154 |
/// void custom_assert_handler(const char* file, int line, const char* function, |
|
| 155 |
/// const char* message, const char* assertion); |
|
| 154 |
/// void custom_assert_handler(const char* file, int line, |
|
| 155 |
/// const char* function, const char* message, |
|
| 156 |
/// const char* assertion); |
|
| 156 | 157 |
/// \endcode |
| 157 | 158 |
/// The name of the function should be defined as the \c |
| 158 | 159 |
/// LEMON_CUSTOM_ASSERT_HANDLER macro name. |
| ... | ... |
@@ -185,7 +186,7 @@ |
| 185 | 186 |
/// \see LEMON_ASSERT |
| 186 | 187 |
# define LEMON_FIXME(msg) \ |
| 187 | 188 |
(LEMON_ASSERT_HANDLER(__FILE__, __LINE__, LEMON_FUNCTION_NAME, \ |
| 188 |
::lemon::_assert_bits::cstringify(msg), |
|
| 189 |
::lemon::_assert_bits::cstringify(msg), \ |
|
| 189 | 190 |
static_cast<const char*>(0))) |
| 190 | 191 |
|
| 191 | 192 |
/// \ingroup exceptions |
| ... | ... |
@@ -240,7 +241,7 @@ |
| 240 | 241 |
(static_cast<void> (!!(exp) ? 0 : ( \ |
| 241 | 242 |
LEMON_ASSERT_HANDLER(__FILE__, __LINE__, \ |
| 242 | 243 |
LEMON_FUNCTION_NAME, \ |
| 243 |
::lemon::_assert_bits::cstringify(msg), |
|
| 244 |
::lemon::_assert_bits::cstringify(msg), \ |
|
| 244 | 245 |
#exp), 0))) |
| 245 | 246 |
# else |
| 246 | 247 |
# define LEMON_DEBUG(exp, msg) (static_cast<void>(0)) |
| ... | ... |
@@ -103,7 +103,8 @@ |
| 103 | 103 |
///Instantiates a DistMap. |
| 104 | 104 |
|
| 105 | 105 |
///This function instantiates a \ref DistMap. |
| 106 |
///\param G is the digraph, to which we would like to define |
|
| 106 |
///\param G is the digraph, to which we would like to define |
|
| 107 |
///the \ref DistMap |
|
| 107 | 108 |
static DistMap *createDistMap(const GR &G) |
| 108 | 109 |
{
|
| 109 | 110 |
return new DistMap(G); |
| ... | ... |
@@ -825,7 +826,8 @@ |
| 825 | 826 |
///Instantiates a DistMap. |
| 826 | 827 |
|
| 827 | 828 |
///This function instantiates a \ref DistMap. |
| 828 |
///\param g is the digraph, to which we would like to define |
|
| 829 |
///\param g is the digraph, to which we would like to define |
|
| 830 |
///the \ref DistMap |
|
| 829 | 831 |
#ifdef DOXYGEN |
| 830 | 832 |
static DistMap *createDistMap(const GR &g) |
| 831 | 833 |
#else |
| ... | ... |
@@ -1199,7 +1201,8 @@ |
| 1199 | 1201 |
/// class. It works with callback mechanism, the BfsVisit object calls |
| 1200 | 1202 |
/// on every bfs event the \c Visitor class member functions. |
| 1201 | 1203 |
/// |
| 1202 |
/// \tparam _Digraph The digraph type the algorithm runs on. |
|
| 1204 |
/// \tparam _Digraph The digraph type the algorithm runs on. |
|
| 1205 |
/// The default value is |
|
| 1203 | 1206 |
/// \ref ListDigraph. The value of _Digraph is not used directly by Bfs, it |
| 1204 | 1207 |
/// is only passed to \ref BfsDefaultTraits. |
| 1205 | 1208 |
/// \tparam _Visitor The Visitor object for the algorithm. The |
| ... | ... |
@@ -43,7 +43,8 @@ |
| 43 | 43 |
public: |
| 44 | 44 |
/// The key type of the map. |
| 45 | 45 |
typedef K Key; |
| 46 |
/// The value type of the map. |
|
| 46 |
/// \brief The value type of the map. |
|
| 47 |
/// (The type of objects associated with the keys). |
|
| 47 | 48 |
typedef T Value; |
| 48 | 49 |
|
| 49 | 50 |
/// Returns the value associated with the given key. |
| ... | ... |
@@ -82,7 +83,8 @@ |
| 82 | 83 |
public: |
| 83 | 84 |
/// The key type of the map. |
| 84 | 85 |
typedef K Key; |
| 85 |
/// The value type of the map. |
|
| 86 |
/// \brief The value type of the map. |
|
| 87 |
/// (The type of objects associated with the keys). |
|
| 86 | 88 |
typedef T Value; |
| 87 | 89 |
|
| 88 | 90 |
/// Sets the value associated with the given key. |
| ... | ... |
@@ -121,7 +123,8 @@ |
| 121 | 123 |
public: |
| 122 | 124 |
/// The key type of the map. |
| 123 | 125 |
typedef K Key; |
| 124 |
/// The value type of the map. |
|
| 126 |
/// \brief The value type of the map. |
|
| 127 |
/// (The type of objects associated with the keys). |
|
| 125 | 128 |
typedef T Value; |
| 126 | 129 |
|
| 127 | 130 |
/// Returns the value associated with the given key. |
| ... | ... |
@@ -154,7 +157,8 @@ |
| 154 | 157 |
typedef True ReferenceMapTag; |
| 155 | 158 |
/// The key type of the map. |
| 156 | 159 |
typedef K Key; |
| 157 |
/// The value type of the map. |
|
| 160 |
/// \brief The value type of the map. |
|
| 161 |
/// (The type of objects associated with the keys). |
|
| 158 | 162 |
typedef T Value; |
| 159 | 163 |
/// The reference type of the map. |
| 160 | 164 |
typedef R Reference; |
| ... | ... |
@@ -105,7 +105,8 @@ |
| 105 | 105 |
///Instantiates a DistMap. |
| 106 | 106 |
|
| 107 | 107 |
///This function instantiates a \ref DistMap. |
| 108 |
///\param G is the digraph, to which we would like to define |
|
| 108 |
///\param G is the digraph, to which we would like to define |
|
| 109 |
///the \ref DistMap |
|
| 109 | 110 |
static DistMap *createDistMap(const GR &G) |
| 110 | 111 |
{
|
| 111 | 112 |
return new DistMap(G); |
| ... | ... |
@@ -808,7 +809,8 @@ |
| 808 | 809 |
///Instantiates a DistMap. |
| 809 | 810 |
|
| 810 | 811 |
///This function instantiates a \ref DistMap. |
| 811 |
///\param g is the digraph, to which we would like to define |
|
| 812 |
///\param g is the digraph, to which we would like to define |
|
| 813 |
///the \ref DistMap |
|
| 812 | 814 |
#ifdef DOXYGEN |
| 813 | 815 |
static DistMap *createDistMap(const GR &g) |
| 814 | 816 |
#else |
| ... | ... |
@@ -1193,7 +1195,8 @@ |
| 1193 | 1195 |
/// class. It works with callback mechanism, the DfsVisit object calls |
| 1194 | 1196 |
/// on every dfs event the \c Visitor class member functions. |
| 1195 | 1197 |
/// |
| 1196 |
/// \tparam _Digraph The digraph type the algorithm runs on. |
|
| 1198 |
/// \tparam _Digraph The digraph type the algorithm runs on. |
|
| 1199 |
/// The default value is |
|
| 1197 | 1200 |
/// \ref ListDigraph. The value of _Digraph is not used directly by Dfs, it |
| 1198 | 1201 |
/// is only passed to \ref DfsDefaultTraits. |
| 1199 | 1202 |
/// \tparam _Visitor The Visitor object for the algorithm. The |
| ... | ... |
@@ -173,7 +173,8 @@ |
| 173 | 173 |
///Instantiates a DistMap. |
| 174 | 174 |
|
| 175 | 175 |
///This function instantiates a \ref DistMap. |
| 176 |
///\param G is the digraph, to which we would like to define |
|
| 176 |
///\param G is the digraph, to which we would like to define |
|
| 177 |
///the \ref DistMap |
|
| 177 | 178 |
static DistMap *createDistMap(const GR &G) |
| 178 | 179 |
{
|
| 179 | 180 |
return new DistMap(G); |
| ... | ... |
@@ -336,8 +337,8 @@ |
| 336 | 337 |
/// |
| 337 | 338 |
template <class T> |
| 338 | 339 |
struct DefPredMap |
| 339 |
: public Dijkstra< Digraph, LengthMap, DefPredMapTraits<T> > {
|
|
| 340 |
typedef Dijkstra< Digraph, LengthMap, DefPredMapTraits<T> > Create; |
|
| 340 |
: public Dijkstra< Digraph, LengthMap, DefPredMapTraits<T> > {
|
|
| 341 |
typedef Dijkstra< Digraph, LengthMap, DefPredMapTraits<T> > Create; |
|
| 341 | 342 |
}; |
| 342 | 343 |
|
| 343 | 344 |
template <class T> |
| ... | ... |
@@ -372,8 +373,8 @@ |
| 372 | 373 |
/// |
| 373 | 374 |
template <class T> |
| 374 | 375 |
struct DefProcessedMap |
| 375 |
: public Dijkstra< Digraph, LengthMap, DefProcessedMapTraits<T> > {
|
|
| 376 |
typedef Dijkstra< Digraph, LengthMap, DefProcessedMapTraits<T> > Create; |
|
| 376 |
: public Dijkstra< Digraph, LengthMap, DefProcessedMapTraits<T> > {
|
|
| 377 |
typedef Dijkstra< Digraph, LengthMap, DefProcessedMapTraits<T> > Create; |
|
| 377 | 378 |
}; |
| 378 | 379 |
|
| 379 | 380 |
struct DefDigraphProcessedMapTraits : public Traits {
|
| ... | ... |
@@ -392,7 +393,8 @@ |
| 392 | 393 |
template <class T> |
| 393 | 394 |
struct DefProcessedMapToBeDefaultMap |
| 394 | 395 |
: public Dijkstra< Digraph, LengthMap, DefDigraphProcessedMapTraits> {
|
| 395 |
typedef Dijkstra< Digraph, LengthMap, DefDigraphProcessedMapTraits> |
|
| 396 |
typedef Dijkstra< Digraph, LengthMap, DefDigraphProcessedMapTraits> |
|
| 397 |
Create; |
|
| 396 | 398 |
}; |
| 397 | 399 |
|
| 398 | 400 |
template <class H, class CR> |
| ... | ... |
@@ -415,8 +417,8 @@ |
| 415 | 417 |
/// |
| 416 | 418 |
template <class H, class CR = typename Digraph::template NodeMap<int> > |
| 417 | 419 |
struct DefHeap |
| 418 |
: public Dijkstra< Digraph, LengthMap, DefHeapTraits<H, CR> > {
|
|
| 419 |
typedef Dijkstra< Digraph, LengthMap, DefHeapTraits<H, CR> > Create; |
|
| 420 |
: public Dijkstra< Digraph, LengthMap, DefHeapTraits<H, CR> > {
|
|
| 421 |
typedef Dijkstra< Digraph, LengthMap, DefHeapTraits<H, CR> > Create; |
|
| 420 | 422 |
}; |
| 421 | 423 |
|
| 422 | 424 |
template <class H, class CR> |
| ... | ... |
@@ -440,8 +442,8 @@ |
| 440 | 442 |
///parameter and the heap's constructor waits for the cross reference. |
| 441 | 443 |
template <class H, class CR = typename Digraph::template NodeMap<int> > |
| 442 | 444 |
struct DefStandardHeap |
| 443 |
: public Dijkstra< Digraph, LengthMap, DefStandardHeapTraits<H, CR> > {
|
|
| 444 |
typedef Dijkstra< Digraph, LengthMap, DefStandardHeapTraits<H, CR> > |
|
| 445 |
: public Dijkstra< Digraph, LengthMap, DefStandardHeapTraits<H, CR> > {
|
|
| 446 |
typedef Dijkstra< Digraph, LengthMap, DefStandardHeapTraits<H, CR> > |
|
| 445 | 447 |
Create; |
| 446 | 448 |
}; |
| 447 | 449 |
|
| ... | ... |
@@ -976,7 +978,8 @@ |
| 976 | 978 |
///Instantiates a DistMap. |
| 977 | 979 |
|
| 978 | 980 |
///This function instantiates a \ref DistMap. |
| 979 |
///\param g is the digraph, to which we would like to define |
|
| 981 |
///\param g is the digraph, to which we would like to define |
|
| 982 |
///the \ref DistMap |
|
| 980 | 983 |
#ifdef DOXYGEN |
| 981 | 984 |
static DistMap *createDistMap(const GR &g) |
| 982 | 985 |
#else |
| ... | ... |
@@ -142,7 +142,8 @@ |
| 142 | 142 |
///Constructor |
| 143 | 143 |
///\param _g Reference to the graph to be printed. |
| 144 | 144 |
///\param _os Reference to the output stream. |
| 145 |
///\param _os Reference to the output stream. |
|
| 145 |
///\param _os Reference to the output stream. |
|
| 146 |
///By default it is <tt>std::cout</tt>. |
|
| 146 | 147 |
///\param _pros If it is \c true, then the \c ostream referenced by \c _os |
| 147 | 148 |
///will be explicitly deallocated by the destructor. |
| 148 | 149 |
DefaultGraphToEpsTraits(const G &_g,std::ostream& _os=std::cout, |
| ... | ... |
@@ -781,9 +782,11 @@ |
| 781 | 782 |
//x1 y1 x2 y2 x3 y3 cr cg cb w |
| 782 | 783 |
os << "/lb { setlinewidth setrgbcolor newpath moveto\n"
|
| 783 | 784 |
<< " 4 2 roll 1 index 1 index curveto stroke } bind def\n"; |
| 784 |
os << "/l { setlinewidth setrgbcolor newpath moveto lineto stroke }
|
|
| 785 |
os << "/l { setlinewidth setrgbcolor newpath moveto lineto stroke }"
|
|
| 786 |
<< " bind def\n"; |
|
| 785 | 787 |
//x y r |
| 786 |
os << "/c { newpath dup 3 index add 2 index moveto 0 360 arc closepath }
|
|
| 788 |
os << "/c { newpath dup 3 index add 2 index moveto 0 360 arc closepath }"
|
|
| 789 |
<< " bind def\n"; |
|
| 787 | 790 |
//x y r |
| 788 | 791 |
os << "/sq { newpath 2 index 1 index add 2 index 2 index add moveto\n"
|
| 789 | 792 |
<< " 2 index 1 index sub 2 index 2 index add lineto\n" |
| ... | ... |
@@ -811,8 +814,10 @@ |
| 811 | 814 |
<< " 1.5 mul mul setlinewidth\n" |
| 812 | 815 |
<< " newpath 5 index 5 index moveto " |
| 813 | 816 |
<< "5 index 5 index 5 index 3.01 mul sub\n" |
| 814 |
<< " lineto 5 index 4 index .7 mul sub 5 index 5 index 2.2 mul sub moveto\n" |
|
| 815 |
<< " 5 index 4 index .7 mul add 5 index 5 index 2.2 mul sub lineto stroke\n" |
|
| 817 |
<< " lineto 5 index 4 index .7 mul sub 5 index 5 index 2.2 mul sub" |
|
| 818 |
<< " moveto\n" |
|
| 819 |
<< " 5 index 4 index .7 mul add 5 index 5 index 2.2 mul sub lineto " |
|
| 820 |
<< "stroke\n" |
|
| 816 | 821 |
<< " 5 index 5 index 5 index c fill\n" |
| 817 | 822 |
<< " setrgbcolor " << 1+_nodeBorderQuotient << " div c fill\n" |
| 818 | 823 |
<< " } bind def\n"; |
| ... | ... |
@@ -826,7 +831,8 @@ |
| 826 | 831 |
<< " 1 index 1 index lineto\n" |
| 827 | 832 |
<< " 1 index 1 index 7 index sub moveto\n" |
| 828 | 833 |
<< " 1 index 1 index lineto\n" |
| 829 |
<< " exch 5 index 3 sqrt .5 mul mul sub exch 5 index .5 mul sub |
|
| 834 |
<< " exch 5 index 3 sqrt .5 mul mul sub exch 5 index .5 mul sub" |
|
| 835 |
<< " lineto\n" |
|
| 830 | 836 |
<< " stroke\n" |
| 831 | 837 |
<< " 5 index 5 index 5 index c fill\n" |
| 832 | 838 |
<< " setrgbcolor " << 1+_nodeBorderQuotient << " div c fill\n" |
| ... | ... |
@@ -838,9 +844,10 @@ |
| 838 | 844 |
// l dx_norm dy_norm |
| 839 | 845 |
os << "/lrl { 2 index mul exch 2 index mul exch rlineto pop} bind def\n";
|
| 840 | 846 |
//len w dx_norm dy_norm x1 y1 cr cg cb |
| 841 |
os << "/arr { setrgbcolor /y1 exch def /x1 exch def /dy exch def /dx
|
|
| 847 |
os << "/arr { setrgbcolor /y1 exch def /x1 exch def /dy exch def /dx "
|
|
| 848 |
<< "exch def\n" |
|
| 842 | 849 |
<< " /w exch def /len exch def\n" |
| 843 |
// |
|
| 850 |
//<< "0.1 setlinewidth x1 y1 moveto dx len mul dy len mul rlineto stroke" |
|
| 844 | 851 |
<< " newpath x1 dy w 2 div mul add y1 dx w 2 div mul sub moveto\n" |
| 845 | 852 |
<< " len w sub arrl sub dx dy lrl\n" |
| 846 | 853 |
<< " arrw dy dx neg lrl\n" |
| ... | ... |
@@ -902,7 +909,8 @@ |
| 902 | 909 |
//\todo better 'epsilon' would be nice here. |
| 903 | 910 |
dim2::Point<double> d(dvec/std::max(l,EPSILON)); |
| 904 | 911 |
dim2::Point<double> m; |
| 905 |
// m=dim2::Point<double>(mycoords[g.target(*i)]+ |
|
| 912 |
// m=dim2::Point<double>(mycoords[g.target(*i)]+ |
|
| 913 |
// mycoords[g.source(*i)])/2.0; |
|
| 906 | 914 |
|
| 907 | 915 |
// m=dim2::Point<double>(mycoords[g.source(*i)])+ |
| 908 | 916 |
// dvec*(double(_nodeSizes[g.source(*i)])/ |
| ... | ... |
@@ -938,7 +946,8 @@ |
| 938 | 946 |
// node_shape=_nodeShapes[g.source(*e)]; |
| 939 | 947 |
// t1=0;t2=1; |
| 940 | 948 |
// for(int i=0;i<INTERPOL_PREC;++i) |
| 941 |
// if(isInsideNode(bez((t1+t2)/2)-t,rn,node_shape)) |
|
| 949 |
// if(isInsideNode(bez((t1+t2)/2)-t,rn,node_shape)) |
|
| 950 |
// t1=(t1+t2)/2; |
|
| 942 | 951 |
// else t2=(t1+t2)/2; |
| 943 | 952 |
// bez=bez.after((t1+t2)/2); |
| 944 | 953 |
os << _arcWidths[*e]*_arcWidthScale << " setlinewidth " |
| ... | ... |
@@ -444,7 +444,8 @@ |
| 444 | 444 |
/// set into an \e ArcSet class (\c SmartArcSet or \c ListArcSet). |
| 445 | 445 |
/// The previously read label node map should be passed to the \c |
| 446 | 446 |
/// useNodes() functions. Another application of multipass reading when |
| 447 |
/// paths are given as a node map or an arc map. |
|
| 447 |
/// paths are given as a node map or an arc map. |
|
| 448 |
/// It is impossible to read this in |
|
| 448 | 449 |
/// a single pass, because the arcs are not constructed when the node |
| 449 | 450 |
/// maps are read. |
| 450 | 451 |
template <typename _Digraph> |
| ... | ... |
@@ -314,7 +314,8 @@ |
| 314 | 314 |
///but it provides a bit finer control on the execution. |
| 315 | 315 |
///The \ref Timer also counts the number of \ref start() |
| 316 | 316 |
///executions, and is stops only after the same amount (or more) |
| 317 |
///\ref stop() "stop()"s. This can be useful e.g. to compute |
|
| 317 |
///\ref stop() "stop()"s. This can be useful e.g. to compute |
|
| 318 |
///the running time |
|
| 318 | 319 |
///of recursive functions. |
| 319 | 320 |
/// |
| 320 | 321 |
| ... | ... |
@@ -110,8 +110,10 @@ |
| 110 | 110 |
for(ArcIt e(G); e!=INVALID; ++e) {
|
| 111 | 111 |
Node u=G.source(e); |
| 112 | 112 |
Node v=G.target(e); |
| 113 |
check( !dijkstra_test.reached(u) || (dijkstra_test.dist(v) - dijkstra_test.dist(u) <= length[e]), |
|
| 114 |
"dist(target)-dist(source)-arc_length= " << dijkstra_test.dist(v) - dijkstra_test.dist(u) - length[e]); |
|
| 113 |
check( !dijkstra_test.reached(u) || |
|
| 114 |
(dijkstra_test.dist(v) - dijkstra_test.dist(u) <= length[e]), |
|
| 115 |
"dist(target)-dist(source)-arc_length= " << |
|
| 116 |
dijkstra_test.dist(v) - dijkstra_test.dist(u) - length[e]); |
|
| 115 | 117 |
} |
| 116 | 118 |
|
| 117 | 119 |
for(NodeIt v(G); v!=INVALID; ++v){
|
| ... | ... |
@@ -121,7 +123,8 @@ |
| 121 | 123 |
Node u=G.source(e); |
| 122 | 124 |
check(u==dijkstra_test.predNode(v),"Wrong tree."); |
| 123 | 125 |
check(dijkstra_test.dist(v) - dijkstra_test.dist(u) == length[e], |
| 124 |
"Wrong distance! Difference: " << |
|
| 126 |
"Wrong distance! Difference: " << |
|
| 127 |
std::abs(dijkstra_test.dist(v)-dijkstra_test.dist(u)-length[e])); |
|
| 125 | 128 |
} |
| 126 | 129 |
} |
| 127 | 130 |
| ... | ... |
@@ -92,12 +92,15 @@ |
| 92 | 92 |
Arc con2 = al2(src, trg); |
| 93 | 93 |
Arc con3 = al3(src, trg); |
| 94 | 94 |
Arc con4 = findArc(fg, src, trg); |
| 95 |
check(con1 == con2 && con2 == con3 && con3 == con4, |
|
| 95 |
check(con1 == con2 && con2 == con3 && con3 == con4, |
|
| 96 |
"Different results.") |
|
| 96 | 97 |
check(con1 != INVALID, "There is no connecting arc."); |
| 97 | 98 |
check(fg.source(con1) == src, "Wrong source."); |
| 98 | 99 |
check(fg.target(con1) == trg, "Wrong target."); |
| 99 |
check(al3(src, trg, con3) == INVALID, "There is more connecting arc."); |
|
| 100 |
check(findArc(fg, src, trg, con4) == INVALID, "There is more connecting arc."); |
|
| 100 |
check(al3(src, trg, con3) == INVALID, |
|
| 101 |
"There is more connecting arc."); |
|
| 102 |
check(findArc(fg, src, trg, con4) == INVALID, |
|
| 103 |
"There is more connecting arc."); |
|
| 101 | 104 |
} |
| 102 | 105 |
} |
| 103 | 106 |
} |
| ... | ... |
@@ -123,7 +126,8 @@ |
| 123 | 126 |
for (NodeIt trg(graph); trg != INVALID; ++trg) {
|
| 124 | 127 |
for (ConEdgeIt<Graph> con(graph, src, trg); con != INVALID; ++con) {
|
| 125 | 128 |
check( (graph.u(con) == src && graph.v(con) == trg) || |
| 126 |
(graph.v(con) == src && graph.u(con) == trg), |
|
| 129 |
(graph.v(con) == src && graph.u(con) == trg), |
|
| 130 |
"Wrong end nodes."); |
|
| 127 | 131 |
++found[con]; |
| 128 | 132 |
check(found[con] <= 2, "The edge found more than twice."); |
| 129 | 133 |
} |
| ... | ... |
@@ -103,7 +103,8 @@ |
| 103 | 103 |
ConstMap<A,Const<int,10> > map7 = map6; |
| 104 | 104 |
map6 = constMap<A,int,10>(); |
| 105 | 105 |
map7 = constMap<A,Const<int,10> >(); |
| 106 |
check(map6[A()] == 10 && map7[A()] == 10, |
|
| 106 |
check(map6[A()] == 10 && map7[A()] == 10, |
|
| 107 |
"Something is wrong with ConstMap"); |
|
| 107 | 108 |
} |
| 108 | 109 |
|
| 109 | 110 |
// IdentityMap |
| ... | ... |
@@ -114,7 +115,8 @@ |
| 114 | 115 |
map1 = identityMap<A>(); |
| 115 | 116 |
|
| 116 | 117 |
checkConcept<ReadMap<double,double>, IdentityMap<double> >(); |
| 117 |
check(identityMap<double>()[1.0] == 1.0 && |
|
| 118 |
check(identityMap<double>()[1.0] == 1.0 && |
|
| 119 |
identityMap<double>()[3.14] == 3.14, |
|
| 118 | 120 |
"Something is wrong with IdentityMap"); |
| 119 | 121 |
} |
| 120 | 122 |
|
| ... | ... |
@@ -155,10 +157,12 @@ |
| 155 | 157 |
SparseMap<double, int> map7 = sparseMap(m); |
| 156 | 158 |
SparseMap<double, int> map8 = sparseMap(m,10); |
| 157 | 159 |
|
| 158 |
check(map5[1.0] == 0 && map5[3.14] == 0 && |
|
| 160 |
check(map5[1.0] == 0 && map5[3.14] == 0 && |
|
| 161 |
map6[1.0] == 10 && map6[3.14] == 10, |
|
| 159 | 162 |
"Something is wrong with SparseMap"); |
| 160 | 163 |
map5[1.0] = map6[3.14] = 100; |
| 161 |
check(map5[1.0] == 100 && map5[3.14] == 0 && |
|
| 164 |
check(map5[1.0] == 100 && map5[3.14] == 0 && |
|
| 165 |
map6[1.0] == 10 && map6[3.14] == 100, |
|
| 162 | 166 |
"Something is wrong with SparseMap"); |
| 163 | 167 |
} |
| 164 | 168 |
|
| ... | ... |
@@ -171,7 +175,8 @@ |
| 171 | 175 |
|
| 172 | 176 |
SparseMap<double, bool> m1(false); m1[3.14] = true; |
| 173 | 177 |
RangeMap<double> m2(2); m2[0] = 3.0; m2[1] = 3.14; |
| 174 |
check(!composeMap(m1,m2)[0] && composeMap(m1,m2)[1], |
|
| 178 |
check(!composeMap(m1,m2)[0] && composeMap(m1,m2)[1], |
|
| 179 |
"Something is wrong with ComposeMap") |
|
| 175 | 180 |
} |
| 176 | 181 |
|
| 177 | 182 |
// CombineMap |
| ... | ... |
@@ -196,9 +201,12 @@ |
| 196 | 201 |
checkConcept<ReadMap<A,B>, MapToFunctor<ReadMap<A,B> > >(); |
| 197 | 202 |
MapToFunctor<ReadMap<A,B> > map(ReadMap<A,B>()); |
| 198 | 203 |
|
| 199 |
check(functorToMap(&func)[A()] == 3, "Something is wrong with FunctorToMap"); |
|
| 200 |
check(mapToFunctor(constMap<A,int>(2))(A()) == 2, "Something is wrong with MapToFunctor"); |
|
| 201 |
check( |
|
| 204 |
check(functorToMap(&func)[A()] == 3, |
|
| 205 |
"Something is wrong with FunctorToMap"); |
|
| 206 |
check(mapToFunctor(constMap<A,int>(2))(A()) == 2, |
|
| 207 |
"Something is wrong with MapToFunctor"); |
|
| 208 |
check(mapToFunctor(functorToMap(&func))(A()) == 3 && |
|
| 209 |
mapToFunctor(functorToMap(&func))[A()] == 3, |
|
| 202 | 210 |
"Something is wrong with FunctorToMap or MapToFunctor"); |
| 203 | 211 |
check(functorToMap(mapToFunctor(constMap<A,int>(2)))[A()] == 2, |
| 204 | 212 |
"Something is wrong with FunctorToMap or MapToFunctor"); |
| ... | ... |
@@ -206,7 +214,8 @@ |
| 206 | 214 |
|
| 207 | 215 |
// ConvertMap |
| 208 | 216 |
{
|
| 209 |
checkConcept<ReadMap<double,double>, |
|
| 217 |
checkConcept<ReadMap<double,double>, |
|
| 218 |
ConvertMap<ReadMap<double, int>, double> >(); |
|
| 210 | 219 |
ConvertMap<RangeMap<bool>, int> map1(rangeMap(1, true)); |
| 211 | 220 |
ConvertMap<RangeMap<bool>, int> map2 = convertMap<int>(rangeMap(2, false)); |
| 212 | 221 |
} |
| ... | ... |
@@ -224,7 +233,8 @@ |
| 224 | 233 |
ForkMap<RM, SM> map1(m1,m2); |
| 225 | 234 |
ForkMap<SM, RM> map2 = forkMap(m2,m1); |
| 226 | 235 |
map2.set(5, 10); |
| 227 |
check(m1[1] == -1 && m1[5] == 10 && m2[1] == -1 && |
|
| 236 |
check(m1[1] == -1 && m1[5] == 10 && m2[1] == -1 && |
|
| 237 |
m2[5] == 10 && map2[1] == -1 && map2[5] == 10, |
|
| 228 | 238 |
"Something is wrong with ForkMap"); |
| 229 | 239 |
} |
| 230 | 240 |
|
| ... | ... |
@@ -241,10 +251,14 @@ |
| 241 | 251 |
ConstMap<int, double> c1(1.0), c2(3.14); |
| 242 | 252 |
IdentityMap<int> im; |
| 243 | 253 |
ConvertMap<IdentityMap<int>, double> id(im); |
| 244 |
check(addMap(c1,id)[0] == 1.0 && addMap(c1,id)[10] == 11.0, "Something is wrong with AddMap"); |
|
| 245 |
check(subMap(id,c1)[0] == -1.0 && subMap(id,c1)[10] == 9.0, "Something is wrong with SubMap"); |
|
| 246 |
check(mulMap(id,c2)[0] == 0 && mulMap(id,c2)[2] == 6.28, "Something is wrong with MulMap"); |
|
| 247 |
check(divMap(c2,id)[1] == 3.14 && divMap(c2,id)[2] == 1.57, "Something is wrong with DivMap"); |
|
| 254 |
check(addMap(c1,id)[0] == 1.0 && addMap(c1,id)[10] == 11.0, |
|
| 255 |
"Something is wrong with AddMap"); |
|
| 256 |
check(subMap(id,c1)[0] == -1.0 && subMap(id,c1)[10] == 9.0, |
|
| 257 |
"Something is wrong with SubMap"); |
|
| 258 |
check(mulMap(id,c2)[0] == 0 && mulMap(id,c2)[2] == 6.28, |
|
| 259 |
"Something is wrong with MulMap"); |
|
| 260 |
check(divMap(c2,id)[1] == 3.14 && divMap(c2,id)[2] == 1.57, |
|
| 261 |
"Something is wrong with DivMap"); |
|
| 248 | 262 |
|
| 249 | 263 |
checkConcept<DoubleMap, ShiftMap<DoubleMap> >(); |
| 250 | 264 |
checkConcept<DoubleWriteMap, ShiftWriteMap<DoubleWriteMap> >(); |
| ... | ... |
@@ -256,11 +270,13 @@ |
| 256 | 270 |
|
| 257 | 271 |
check(shiftMap(id, 2.0)[1] == 3.0 && shiftMap(id, 2.0)[10] == 12.0, |
| 258 | 272 |
"Something is wrong with ShiftMap"); |
| 259 |
check(shiftWriteMap(id, 2.0)[1] == 3.0 && |
|
| 273 |
check(shiftWriteMap(id, 2.0)[1] == 3.0 && |
|
| 274 |
shiftWriteMap(id, 2.0)[10] == 12.0, |
|
| 260 | 275 |
"Something is wrong with ShiftWriteMap"); |
| 261 | 276 |
check(scaleMap(id, 2.0)[1] == 2.0 && scaleMap(id, 2.0)[10] == 20.0, |
| 262 | 277 |
"Something is wrong with ScaleMap"); |
| 263 |
check(scaleWriteMap(id, 2.0)[1] == 2.0 && |
|
| 278 |
check(scaleWriteMap(id, 2.0)[1] == 2.0 && |
|
| 279 |
scaleWriteMap(id, 2.0)[10] == 20.0, |
|
| 264 | 280 |
"Something is wrong with ScaleWriteMap"); |
| 265 | 281 |
check(negMap(id)[1] == -1.0 && negMap(id)[-10] == 10.0, |
| 266 | 282 |
"Something is wrong with NegMap"); |
| ... | ... |
@@ -289,12 +305,16 @@ |
| 289 | 305 |
FalseMap<int> fm; |
| 290 | 306 |
RangeMap<bool> rm(2); |
| 291 | 307 |
rm[0] = true; rm[1] = false; |
| 292 |
check(andMap(tm,rm)[0] && !andMap(tm,rm)[1] && |
|
| 308 |
check(andMap(tm,rm)[0] && !andMap(tm,rm)[1] && |
|
| 309 |
!andMap(fm,rm)[0] && !andMap(fm,rm)[1], |
|
| 293 | 310 |
"Something is wrong with AndMap"); |
| 294 |
check(orMap(tm,rm)[0] && orMap(tm,rm)[1] && |
|
| 311 |
check(orMap(tm,rm)[0] && orMap(tm,rm)[1] && |
|
| 312 |
orMap(fm,rm)[0] && !orMap(fm,rm)[1], |
|
| 295 | 313 |
"Something is wrong with OrMap"); |
| 296 |
check(!notMap(rm)[0] && notMap(rm)[1], "Something is wrong with NotMap"); |
|
| 297 |
check(!notWriteMap(rm)[0] && notWriteMap(rm)[1], "Something is wrong with NotWriteMap"); |
|
| 314 |
check(!notMap(rm)[0] && notMap(rm)[1], |
|
| 315 |
"Something is wrong with NotMap"); |
|
| 316 |
check(!notWriteMap(rm)[0] && notWriteMap(rm)[1], |
|
| 317 |
"Something is wrong with NotWriteMap"); |
|
| 298 | 318 |
|
| 299 | 319 |
ConstMap<int, double> cm(2.0); |
| 300 | 320 |
IdentityMap<int> im; |
| ... | ... |
@@ -310,7 +330,8 @@ |
| 310 | 330 |
typedef std::vector<int> vec; |
| 311 | 331 |
vec v1; |
| 312 | 332 |
vec v2(10); |
| 313 |
LoggerBoolMap<std::back_insert_iterator<vec> > |
|
| 333 |
LoggerBoolMap<std::back_insert_iterator<vec> > |
|
| 334 |
map1(std::back_inserter(v1)); |
|
| 314 | 335 |
LoggerBoolMap<vec::iterator> map2(v2.begin()); |
| 315 | 336 |
map1.set(10, false); |
| 316 | 337 |
map1.set(20, true); map2.set(20, true); |
| ... | ... |
@@ -318,7 +339,8 @@ |
| 318 | 339 |
map1.set(50, true); map2.set(50, true); |
| 319 | 340 |
map1.set(60, true); map2.set(60, true); |
| 320 | 341 |
check(v1.size() == 3 && v2.size() == 10 && |
| 321 |
v1[0]==20 && v1[1]==50 && v1[2]==60 && |
|
| 342 |
v1[0]==20 && v1[1]==50 && v1[2]==60 && |
|
| 343 |
v2[0]==20 && v2[1]==50 && v2[2]==60, |
|
| 322 | 344 |
"Something is wrong with LoggerBoolMap"); |
| 323 | 345 |
|
| 324 | 346 |
int i = 0; |
0 comments (0 inline)