Limbo 3.5.4
Loading...
Searching...
No Matches
ILPColoringLemonCbc.h File Reference

coloring algorithm based on integer linear programming (ILP) with Cbc as ILP solver. More...

#include <iostream>
#include <vector>
#include <queue>
#include <set>
#include <limits>
#include <cassert>
#include <cmath>
#include <stdlib.h>
#include <cstdio>
#include <sstream>
#include <algorithm>
#include <boost/cstdint.hpp>
#include <boost/unordered_map.hpp>
#include <boost/graph/graph_concepts.hpp>
#include <boost/graph/subgraph.hpp>
#include <boost/property_map/property_map.hpp>
#include <limbo/string/String.h>
#include <limbo/algorithms/coloring/Coloring.h>
#include <lemon/cbc.h>
#include <lemon/lp.h>

Go to the source code of this file.

Classes

class  limbo::algorithms::coloring::ILPColoringLemonCbc< GraphType >
struct  limbo::algorithms::coloring::ILPColoringLemonCbc< GraphType >::edge_hash_type
 hasher class for graph_edge_type More...

Namespaces

namespace  limbo
 namespace for Limbo
namespace  limbo::algorithms
 namespace for Limbo.algorithms
namespace  limbo::algorithms::coloring
 namespace for Limbo.Algorithms.Coloring

Detailed Description

coloring algorithm based on integer linear programming (ILP) with Cbc as ILP solver.

Cbc is accessed with the API provided by Lemon, so both Cbc and Lemon should be installed properly. It is necessary for Lemon to bind CBC when installing.

Author
Yibo Lin
Date
Jun 2015

Definition in file ILPColoringLemonCbc.h.