OKlibrary  0.2.1.6
SAT_translation< Graph > Class Template Reference

Creating a CNF in DIMACS format encoding the 101-colouring conditions. More...

List of all members.

Public Types

typedef boost::graph_traits
< Graph >::vertex_descriptor 
vertex_descriptor
typedef boost::property_map
< Graph, boost::vertex_index_t >
::const_type 
property_map_index
typedef boost::graph_traits
< Graph >::vertices_size_type 
vertices_size_type

Public Member Functions

 SAT_translation (const Graph &g)
int var (const vertex_descriptor v) const
template<class Hypergraph , class Map >
void operator() (const Hypergraph &h, const Map &m) const

Public Attributes

const Graph & g
const property_map_index index

Detailed Description

template<class Graph>
class SAT_translation< Graph >

Creating a CNF in DIMACS format encoding the 101-colouring conditions.

Definition at line 136 of file OrthogonalTriples.cpp.


Member Typedef Documentation

template<class Graph >
typedef boost::property_map<Graph, boost::vertex_index_t>::const_type SAT_translation< Graph >::property_map_index

Definition at line 138 of file OrthogonalTriples.cpp.

template<class Graph >
typedef boost::graph_traits<Graph>::vertex_descriptor SAT_translation< Graph >::vertex_descriptor

Definition at line 137 of file OrthogonalTriples.cpp.

template<class Graph >
typedef boost::graph_traits<Graph>::vertices_size_type SAT_translation< Graph >::vertices_size_type

Definition at line 139 of file OrthogonalTriples.cpp.


Constructor & Destructor Documentation

template<class Graph >
SAT_translation< Graph >::SAT_translation ( const Graph &  g) [inline]

Definition at line 144 of file OrthogonalTriples.cpp.


Member Function Documentation

template<class Graph >
template<class Hypergraph , class Map >
void SAT_translation< Graph >::operator() ( const Hypergraph h,
const Map &  m 
) const [inline]
template<class Graph >
int SAT_translation< Graph >::var ( const vertex_descriptor  v) const [inline]

Member Data Documentation

template<class Graph >
const Graph& SAT_translation< Graph >::g

Definition at line 141 of file OrthogonalTriples.cpp.

Referenced by SAT_translation< Graph >::operator()().

template<class Graph >
const property_map_index SAT_translation< Graph >::index

Definition at line 142 of file OrthogonalTriples.cpp.

Referenced by SAT_translation< Graph >::var().


The documentation for this class was generated from the following file: