RhodeCode

 void checkWithIntMap( std::istringstream& input)

 {

   typedef SmartDigraph Digraph;

   typedef Digraph::Node Node;

   typedef Digraph::ArcMap<int> CapMap;

   Digraph g;

   Node s,x,y,z,a;

   CapMap cap(g);

   DigraphReader<Digraph>(g,input).

     arcMap("capacity", cap).

     node("s",s).

     node("x",x).

     node("y",y).

     node("z",z).

     run();

   MaxCardinalitySearch<Digraph,CapMap> maxcard(g,cap);

   maxcard.init();

   maxcard.addSource(s);

   maxcard.start(x);

         !maxcard.processed(y), "Wrong processed()!");

   a=maxcard.nextNode();

   check(maxcard.processNextNode()==a,

         "Wrong nextNode() or processNextNode() return value!");

   check(maxcard.processed(a), "Wrong processNextNode()!");

   maxcard.start();

         "Wrong cardinalities!");

 }

 void checkWithConst1Map(std::istringstream &input) {

   typedef SmartDigraph Digraph;

   typedef Digraph::Node Node;

   Digraph g;

   Node s,x,y,z;

  DigraphReader<Digraph>(g,input).

    node("s",s).

    node("x",x).

    node("y",y).

    node("z",z).

    run();

  MaxCardinalitySearch<Digraph> maxcard(g);

  maxcard.run(s);

  check(maxcard.cardinality(x)==1 &&

        maxcard.cardinality(y)+maxcard.cardinality(z)==3,

        "Wrong cardinalities!");

}