Limbo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Classes | Namespaces
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

 limbo
 namespace for Limbo
 
 limbo::algorithms
 namespace for Limbo.algorithms
 
 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.