00001 #ifndef STRONGLY_CONNECTED_H
00002 #define STRONGLY_CONNECTED_H
00003
00004 #include<scil/scil.h>
00005 #include<LEDA/graph.h>
00006
00021 namespace SCIL {
00022
00023 class StronglyConnected : public sym_constraint {
00024 private:
00025 LEDA::graph& G;
00026 scil_map<LEDA::edge>& VM;
00027
00028 public:
00029
00030
00031
00039 StronglyConnected(LEDA::graph& G_, scil_map<LEDA::edge>& VM_);
00040
00041 void min_cut(LEDA::node u, LEDA::edge_array<int>& C, LEDA::edge_array<int>& F,
00042 LEDA::node_array<bool>& R, int& k);
00043
00046 status separate(subproblem& S);
00047
00050 status feasible(solution& S);
00051
00052 };
00053
00054 }
00055
00056 #endif
