alpar@209: /* -*- mode: C++; indent-tabs-mode: nil; -*-
alpar@96:  *
alpar@209:  * This file is a part of LEMON, a generic C++ optimization library.
alpar@96:  *
alpar@1092:  * Copyright (C) 2003-2013
alpar@96:  * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
alpar@96:  * (Egervary Research Group on Combinatorial Optimization, EGRES).
alpar@96:  *
alpar@96:  * Permission to use, modify and distribute this software is granted
alpar@96:  * provided that this copyright notice appears in all copies. For
alpar@96:  * precise terms see the accompanying LICENSE file.
alpar@96:  *
alpar@96:  * This software is provided "AS IS" with no warranty of any kind,
alpar@96:  * express or implied, and with no claim as to its suitability for any
alpar@96:  * purpose.
alpar@96:  *
alpar@96:  */
alpar@96: 
alpar@96: #include <string>
alpar@96: #include <iostream>
alpar@96: 
alpar@96: #include <lemon/concepts/path.h>
alpar@96: #include <lemon/concepts/digraph.h>
kpeter@1044: #include <lemon/concept_check.h>
alpar@96: 
alpar@96: #include <lemon/path.h>
alpar@96: #include <lemon/list_graph.h>
alpar@96: 
alpar@96: #include "test_tools.h"
alpar@96: 
alpar@96: using namespace std;
alpar@96: using namespace lemon;
alpar@96: 
kpeter@1044: template <typename GR>
kpeter@1044: void checkConcepts() {
kpeter@1044:   checkConcept<concepts::Path<GR>, concepts::Path<GR> >();
kpeter@1044:   checkConcept<concepts::Path<GR>, Path<GR> >();
kpeter@1044:   checkConcept<concepts::Path<GR>, SimplePath<GR> >();
kpeter@1044:   checkConcept<concepts::Path<GR>, StaticPath<GR> >();
kpeter@1044:   checkConcept<concepts::Path<GR>, ListPath<GR> >();
kpeter@1044: }
kpeter@1044: 
kpeter@1044: // Conecpt checking for path structures
kpeter@1044: void checkPathConcepts() {
kpeter@1044:   checkConcepts<concepts::Digraph>();
kpeter@1044:   checkConcepts<ListDigraph>();
alpar@96: }
alpar@96: 
alpar@990: // Check if proper copy consructor is called (use valgrind for testing)
kpeter@1044: template <typename GR, typename P1, typename P2>
kpeter@1044: void checkCopy(typename GR::Arc a) {
kpeter@1044:   P1 p;
kpeter@1044:   p.addBack(a);
kpeter@1044:   P1 q;
kpeter@1044:   q = p;
kpeter@1044:   P1 r(p);
kpeter@1044:   P2 q2;
kpeter@1044:   q2 = p;
kpeter@1044:   P2 r2(p);
kpeter@1044: }
kpeter@1044: 
kpeter@1044: // Tests for copy constructors and assignment operators of paths
kpeter@1044: void checkPathCopy() {
alpar@990:   ListDigraph g;
kpeter@1044:   ListDigraph::Arc a = g.addArc(g.addNode(), g.addNode());
kpeter@1044: 
kpeter@1044:   typedef Path<ListDigraph> Path1;
kpeter@1044:   typedef SimplePath<ListDigraph> Path2;
kpeter@1044:   typedef ListPath<ListDigraph> Path3;
kpeter@1044:   typedef StaticPath<ListDigraph> Path4;
kpeter@1044:   checkCopy<ListDigraph, Path1, Path2>(a);
kpeter@1044:   checkCopy<ListDigraph, Path1, Path3>(a);
kpeter@1044:   checkCopy<ListDigraph, Path1, Path4>(a);
kpeter@1044:   checkCopy<ListDigraph, Path2, Path1>(a);
kpeter@1044:   checkCopy<ListDigraph, Path2, Path3>(a);
kpeter@1044:   checkCopy<ListDigraph, Path2, Path4>(a);
kpeter@1044:   checkCopy<ListDigraph, Path3, Path1>(a);
kpeter@1044:   checkCopy<ListDigraph, Path3, Path2>(a);
kpeter@1044:   checkCopy<ListDigraph, Path3, Path4>(a);
alpar@990: }
kpeter@1044: 
kpeter@1044: // Class for testing path functions
kpeter@1044: class CheckPathFunctions {
kpeter@1044:   typedef ListDigraph GR;
kpeter@1044:   DIGRAPH_TYPEDEFS(GR);
kpeter@1044:   GR gr;
kpeter@1044:   const GR& cgr;
kpeter@1044:   Node n1, n2, n3, n4;
kpeter@1044:   Node tmp_n;
kpeter@1044:   Arc a1, a2, a3, a4;
kpeter@1044:   Arc tmp_a;
kpeter@1044: 
kpeter@1044: public:
kpeter@1044: 
kpeter@1044:   CheckPathFunctions() : cgr(gr) {
kpeter@1044:     n1 = gr.addNode();
kpeter@1044:     n2 = gr.addNode();
kpeter@1044:     n3 = gr.addNode();
kpeter@1044:     n4 = gr.addNode();
kpeter@1044:     a1 = gr.addArc(n1, n2);
kpeter@1044:     a2 = gr.addArc(n2, n3);
kpeter@1044:     a3 = gr.addArc(n3, n4);
kpeter@1044:     a4 = gr.addArc(n4, n1);
kpeter@1044:   }
kpeter@1044: 
kpeter@1044:   void run() {
kpeter@1044:     checkBackAndFrontInsertablePath<Path<GR> >();
kpeter@1044:     checkBackAndFrontInsertablePath<ListPath<GR> >();
kpeter@1044:     checkBackInsertablePath<SimplePath<GR> >();
kpeter@1044: 
kpeter@1044:     checkListPathSplitAndSplice();
kpeter@1044:   }
kpeter@1044: 
kpeter@1044: private:
kpeter@1044: 
kpeter@1044:   template <typename P>
kpeter@1044:   void checkBackInsertablePath() {
kpeter@1044: 
kpeter@1044:     // Create and check empty path
kpeter@1044:     P p;
kpeter@1044:     const P& cp = p;
kpeter@1044:     check(cp.empty(), "The path is not empty");
kpeter@1044:     check(cp.length() == 0, "The path is not empty");
kpeter@1044: //    check(cp.front() == INVALID, "Wrong front()");
kpeter@1044: //    check(cp.back() == INVALID, "Wrong back()");
kpeter@1044:     typename P::ArcIt ai(cp);
kpeter@1044:     check(ai == INVALID, "Wrong ArcIt");
kpeter@1044:     check(pathSource(cgr, cp) == INVALID, "Wrong pathSource()");
kpeter@1044:     check(pathTarget(cgr, cp) == INVALID, "Wrong pathTarget()");
kpeter@1044:     check(checkPath(cgr, cp), "Wrong checkPath()");
kpeter@1044:     PathNodeIt<P> ni(cgr, cp);
kpeter@1044:     check(ni == INVALID, "Wrong PathNodeIt");
kpeter@1044: 
kpeter@1044:     // Check single-arc path
kpeter@1044:     p.addBack(a1);
kpeter@1044:     check(!cp.empty(), "Wrong empty()");
kpeter@1044:     check(cp.length() == 1, "Wrong length");
kpeter@1044:     check(cp.front() == a1, "Wrong front()");
kpeter@1044:     check(cp.back() == a1, "Wrong back()");
kpeter@1044:     check(cp.nth(0) == a1, "Wrong nth()");
kpeter@1044:     ai = cp.nthIt(0);
kpeter@1044:     check((tmp_a = ai) == a1, "Wrong nthIt()");
kpeter@1044:     check(++ai == INVALID, "Wrong nthIt()");
kpeter@1044:     typename P::ArcIt ai2(cp);
kpeter@1044:     check((tmp_a = ai2) == a1, "Wrong ArcIt");
kpeter@1044:     check(++ai2 == INVALID, "Wrong ArcIt");
kpeter@1044:     check(pathSource(cgr, cp) == n1, "Wrong pathSource()");
kpeter@1044:     check(pathTarget(cgr, cp) == n2, "Wrong pathTarget()");
kpeter@1044:     check(checkPath(cgr, cp), "Wrong checkPath()");
kpeter@1044:     PathNodeIt<P> ni2(cgr, cp);
kpeter@1044:     check((tmp_n = ni2) == n1, "Wrong PathNodeIt");
kpeter@1044:     check((tmp_n = ++ni2) == n2, "Wrong PathNodeIt");
kpeter@1044:     check(++ni2 == INVALID, "Wrong PathNodeIt");
kpeter@1044: 
kpeter@1044:     // Check adding more arcs
kpeter@1044:     p.addBack(a2);
kpeter@1044:     p.addBack(a3);
kpeter@1044:     check(!cp.empty(), "Wrong empty()");
kpeter@1044:     check(cp.length() == 3, "Wrong length");
kpeter@1044:     check(cp.front() == a1, "Wrong front()");
kpeter@1044:     check(cp.back() == a3, "Wrong back()");
kpeter@1044:     check(cp.nth(0) == a1, "Wrong nth()");
kpeter@1044:     check(cp.nth(1) == a2, "Wrong nth()");
kpeter@1044:     check(cp.nth(2) == a3, "Wrong nth()");
kpeter@1044:     typename P::ArcIt ai3(cp);
kpeter@1044:     check((tmp_a = ai3) == a1, "Wrong ArcIt");
kpeter@1044:     check((tmp_a = ++ai3) == a2, "Wrong nthIt()");
kpeter@1044:     check((tmp_a = ++ai3) == a3, "Wrong nthIt()");
kpeter@1044:     check(++ai3 == INVALID, "Wrong nthIt()");
kpeter@1044:     ai = cp.nthIt(0);
kpeter@1044:     check((tmp_a = ai) == a1, "Wrong nthIt()");
kpeter@1044:     check((tmp_a = ++ai) == a2, "Wrong nthIt()");
kpeter@1044:     ai = cp.nthIt(2);
kpeter@1044:     check((tmp_a = ai) == a3, "Wrong nthIt()");
kpeter@1044:     check(++ai == INVALID, "Wrong nthIt()");
kpeter@1044:     check(pathSource(cgr, cp) == n1, "Wrong pathSource()");
kpeter@1044:     check(pathTarget(cgr, cp) == n4, "Wrong pathTarget()");
kpeter@1044:     check(checkPath(cgr, cp), "Wrong checkPath()");
kpeter@1044:     PathNodeIt<P> ni3(cgr, cp);
kpeter@1044:     check((tmp_n = ni3) == n1, "Wrong PathNodeIt");
kpeter@1044:     check((tmp_n = ++ni3) == n2, "Wrong PathNodeIt");
kpeter@1044:     check((tmp_n = ++ni3) == n3, "Wrong PathNodeIt");
kpeter@1044:     check((tmp_n = ++ni3) == n4, "Wrong PathNodeIt");
kpeter@1044:     check(++ni3 == INVALID, "Wrong PathNodeIt");
kpeter@1044: 
kpeter@1044:     // Check arc removal and addition
kpeter@1044:     p.eraseBack();
kpeter@1044:     p.eraseBack();
kpeter@1044:     p.addBack(a2);
kpeter@1044:     check(!cp.empty(), "Wrong empty()");
kpeter@1044:     check(cp.length() == 2, "Wrong length");
kpeter@1044:     check(cp.front() == a1, "Wrong front()");
kpeter@1044:     check(cp.back() == a2, "Wrong back()");
kpeter@1044:     check(pathSource(cgr, cp) == n1, "Wrong pathSource()");
kpeter@1044:     check(pathTarget(cgr, cp) == n3, "Wrong pathTarget()");
kpeter@1044:     check(checkPath(cgr, cp), "Wrong checkPath()");
kpeter@1044: 
kpeter@1044:     // Check clear()
kpeter@1044:     p.clear();
kpeter@1044:     check(cp.empty(), "The path is not empty");
kpeter@1044:     check(cp.length() == 0, "The path is not empty");
kpeter@1044: 
kpeter@1044:     // Check inconsistent path
kpeter@1044:     p.addBack(a4);
kpeter@1044:     p.addBack(a2);
kpeter@1044:     p.addBack(a1);
kpeter@1044:     check(!cp.empty(), "Wrong empty()");
kpeter@1044:     check(cp.length() == 3, "Wrong length");
kpeter@1044:     check(cp.front() == a4, "Wrong front()");
kpeter@1044:     check(cp.back() == a1, "Wrong back()");
kpeter@1044:     check(pathSource(cgr, cp) == n4, "Wrong pathSource()");
kpeter@1044:     check(pathTarget(cgr, cp) == n2, "Wrong pathTarget()");
kpeter@1044:     check(!checkPath(cgr, cp), "Wrong checkPath()");
kpeter@1044:   }
kpeter@1044: 
kpeter@1044:   template <typename P>
kpeter@1044:   void checkBackAndFrontInsertablePath() {
kpeter@1044: 
kpeter@1044:     // Include back insertable test cases
kpeter@1044:     checkBackInsertablePath<P>();
kpeter@1044: 
kpeter@1044:     // Check front and back insertion
kpeter@1044:     P p;
kpeter@1044:     const P& cp = p;
kpeter@1044:     p.addFront(a4);
kpeter@1044:     p.addBack(a1);
kpeter@1044:     p.addFront(a3);
kpeter@1044:     check(!cp.empty(), "Wrong empty()");
kpeter@1044:     check(cp.length() == 3, "Wrong length");
kpeter@1044:     check(cp.front() == a3, "Wrong front()");
kpeter@1044:     check(cp.back() == a1, "Wrong back()");
kpeter@1044:     check(cp.nth(0) == a3, "Wrong nth()");
kpeter@1044:     check(cp.nth(1) == a4, "Wrong nth()");
kpeter@1044:     check(cp.nth(2) == a1, "Wrong nth()");
kpeter@1044:     typename P::ArcIt ai(cp);
kpeter@1044:     check((tmp_a = ai) == a3, "Wrong ArcIt");
kpeter@1044:     check((tmp_a = ++ai) == a4, "Wrong nthIt()");
kpeter@1044:     check((tmp_a = ++ai) == a1, "Wrong nthIt()");
kpeter@1044:     check(++ai == INVALID, "Wrong nthIt()");
kpeter@1044:     ai = cp.nthIt(0);
kpeter@1044:     check((tmp_a = ai) == a3, "Wrong nthIt()");
kpeter@1044:     check((tmp_a = ++ai) == a4, "Wrong nthIt()");
kpeter@1044:     ai = cp.nthIt(2);
kpeter@1044:     check((tmp_a = ai) == a1, "Wrong nthIt()");
kpeter@1044:     check(++ai == INVALID, "Wrong nthIt()");
kpeter@1044:     check(pathSource(cgr, cp) == n3, "Wrong pathSource()");
kpeter@1044:     check(pathTarget(cgr, cp) == n2, "Wrong pathTarget()");
kpeter@1044:     check(checkPath(cgr, cp), "Wrong checkPath()");
kpeter@1044: 
kpeter@1044:     // Check eraseFront()
kpeter@1044:     p.eraseFront();
kpeter@1044:     p.addBack(a2);
kpeter@1044:     check(!cp.empty(), "Wrong empty()");
kpeter@1044:     check(cp.length() == 3, "Wrong length");
kpeter@1044:     check(cp.front() == a4, "Wrong front()");
kpeter@1044:     check(cp.back() == a2, "Wrong back()");
kpeter@1044:     check(cp.nth(0) == a4, "Wrong nth()");
kpeter@1044:     check(cp.nth(1) == a1, "Wrong nth()");
kpeter@1044:     check(cp.nth(2) == a2, "Wrong nth()");
kpeter@1044:     typename P::ArcIt ai2(cp);
kpeter@1044:     check((tmp_a = ai2) == a4, "Wrong ArcIt");
kpeter@1044:     check((tmp_a = ++ai2) == a1, "Wrong nthIt()");
kpeter@1044:     check((tmp_a = ++ai2) == a2, "Wrong nthIt()");
kpeter@1044:     check(++ai2 == INVALID, "Wrong nthIt()");
kpeter@1044:     ai = cp.nthIt(0);
kpeter@1044:     check((tmp_a = ai) == a4, "Wrong nthIt()");
kpeter@1044:     check((tmp_a = ++ai) == a1, "Wrong nthIt()");
kpeter@1044:     ai = cp.nthIt(2);
kpeter@1044:     check((tmp_a = ai) == a2, "Wrong nthIt()");
kpeter@1044:     check(++ai == INVALID, "Wrong nthIt()");
kpeter@1044:     check(pathSource(cgr, cp) == n4, "Wrong pathSource()");
kpeter@1044:     check(pathTarget(cgr, cp) == n3, "Wrong pathTarget()");
kpeter@1044:     check(checkPath(cgr, cp), "Wrong checkPath()");
kpeter@1044:   }
kpeter@1044: 
kpeter@1044:   void checkListPathSplitAndSplice() {
kpeter@1044: 
kpeter@1044:     // Build a path with spliceFront() and spliceBack()
kpeter@1044:     ListPath<GR> p1, p2, p3, p4;
kpeter@1044:     p1.addBack(a3);
kpeter@1044:     p1.addFront(a2);
kpeter@1044:     p2.addBack(a1);
kpeter@1044:     p1.spliceFront(p2);
kpeter@1044:     p3.addFront(a4);
kpeter@1044:     p1.spliceBack(p3);
kpeter@1044:     check(p1.length() == 4, "Wrong length");
kpeter@1044:     check(p1.front() == a1, "Wrong front()");
kpeter@1044:     check(p1.back() == a4, "Wrong back()");
kpeter@1044:     ListPath<GR>::ArcIt ai(p1);
kpeter@1044:     check((tmp_a = ai) == a1, "Wrong ArcIt");
kpeter@1044:     check((tmp_a = ++ai) == a2, "Wrong nthIt()");
kpeter@1044:     check((tmp_a = ++ai) == a3, "Wrong nthIt()");
kpeter@1044:     check((tmp_a = ++ai) == a4, "Wrong nthIt()");
kpeter@1044:     check(++ai == INVALID, "Wrong nthIt()");
kpeter@1044:     check(checkPath(cgr, p1), "Wrong checkPath()");
kpeter@1044: 
kpeter@1044:     // Check split()
kpeter@1044:     p1.split(p1.nthIt(2), p2);
kpeter@1044:     check(p1.length() == 2, "Wrong length");
kpeter@1044:     ai = p1.nthIt(0);
kpeter@1044:     check((tmp_a = ai) == a1, "Wrong ArcIt");
kpeter@1044:     check((tmp_a = ++ai) == a2, "Wrong nthIt()");
kpeter@1044:     check(++ai == INVALID, "Wrong nthIt()");
kpeter@1044:     check(checkPath(cgr, p1), "Wrong checkPath()");
kpeter@1044:     check(p2.length() == 2, "Wrong length");
kpeter@1044:     ai = p2.nthIt(0);
kpeter@1044:     check((tmp_a = ai) == a3, "Wrong ArcIt");
kpeter@1044:     check((tmp_a = ++ai) == a4, "Wrong nthIt()");
kpeter@1044:     check(++ai == INVALID, "Wrong nthIt()");
kpeter@1044:     check(checkPath(cgr, p2), "Wrong checkPath()");
kpeter@1044: 
kpeter@1044:     // Check split() and splice()
kpeter@1044:     p1.spliceFront(p2);
kpeter@1044:     p1.split(p1.nthIt(2), p2);
kpeter@1044:     p2.split(p2.nthIt(1), p3);
kpeter@1044:     p2.spliceBack(p1);
kpeter@1044:     p2.splice(p2.nthIt(1), p3);
kpeter@1044:     check(p2.length() == 4, "Wrong length");
kpeter@1044:     check(p2.front() == a1, "Wrong front()");
kpeter@1044:     check(p2.back() == a4, "Wrong back()");
kpeter@1044:     ai = p2.nthIt(0);
kpeter@1044:     check((tmp_a = ai) == a1, "Wrong ArcIt");
kpeter@1044:     check((tmp_a = ++ai) == a2, "Wrong nthIt()");
kpeter@1044:     check((tmp_a = ++ai) == a3, "Wrong nthIt()");
kpeter@1044:     check((tmp_a = ++ai) == a4, "Wrong nthIt()");
kpeter@1044:     check(++ai == INVALID, "Wrong nthIt()");
kpeter@1044:     check(checkPath(cgr, p2), "Wrong checkPath()");
kpeter@1044:   }
kpeter@1044: 
kpeter@1044: };
kpeter@1044: 
alpar@96: int main() {
kpeter@1044:   checkPathConcepts();
kpeter@1044:   checkPathCopy();
kpeter@1044:   CheckPathFunctions cpf;
kpeter@1044:   cpf.run();
alpar@990: 
alpar@96:   return 0;
alpar@96: }