RhodeCode

#include <lemon/capacity_scaling.h>

#include <lemon/cost_scaling.h>

#include <lemon/cycle_canceling.h>

#include <lemon/concepts/heap.h>

  // Check the interface of CapacityScaling

  {

    typedef concepts::Digraph GR;

    checkConcept< McfClassConcept<GR, int, int>,

                  CapacityScaling<GR> >();

    checkConcept< McfClassConcept<GR, double, double>,

                  CapacityScaling<GR, double> >();

    checkConcept< McfClassConcept<GR, int, double>,

                  CapacityScaling<GR, int, double> >();

    typedef CapacityScaling<GR>::

      SetHeap<concepts::Heap<int, RangeMap<int> > >::Create CAS;

    checkConcept< McfClassConcept<GR, int, int>, CAS >();

  }

  // Check the interface of CostScaling

  {

    typedef concepts::Digraph GR;

    checkConcept< McfClassConcept<GR, int, int>,

                  CostScaling<GR> >();

    checkConcept< McfClassConcept<GR, double, double>,

                  CostScaling<GR, double> >();

    checkConcept< McfClassConcept<GR, int, double>,

                  CostScaling<GR, int, double> >();

    typedef CostScaling<GR>::

      SetLargeCost<double>::Create COS;

    checkConcept< McfClassConcept<GR, int, int>, COS >();

  }

  // Check the interface of CycleCanceling

  {

    typedef concepts::Digraph GR;

    checkConcept< McfClassConcept<GR, int, int>,

                  CycleCanceling<GR> >();

    checkConcept< McfClassConcept<GR, double, double>,

                  CycleCanceling<GR, double> >();

    checkConcept< McfClassConcept<GR, int, double>,

                  CycleCanceling<GR, int, double> >();

  }

  // Test CapacityScaling

  {

    typedef CapacityScaling<Digraph> MCF;

    runMcfGeqTests<MCF>(0, "SSP");

    runMcfGeqTests<MCF>(2, "CAS");

  }

  // Test CostScaling

  {

    typedef CostScaling<Digraph> MCF;

    runMcfGeqTests<MCF>(MCF::PUSH, "COS-PR");

    runMcfGeqTests<MCF>(MCF::AUGMENT, "COS-AR");

    runMcfGeqTests<MCF>(MCF::PARTIAL_AUGMENT, "COS-PAR");

  }

  // Test CycleCanceling

  {

    typedef CycleCanceling<Digraph> MCF;

    runMcfGeqTests<MCF>(MCF::SIMPLE_CYCLE_CANCELING, "SCC");

    runMcfGeqTests<MCF>(MCF::MINIMUM_MEAN_CYCLE_CANCELING, "MMCC");

    runMcfGeqTests<MCF>(MCF::CANCEL_AND_TIGHTEN, "CAT");

  }