OKlibrary  0.2.1.6
OKlib::GraphDecomposition Namespace Reference

Module for SAT decision by means of graph decomposition. More...

Classes

class  Width_elimination_sequence
 Functor computing the width induced by an elimination sequence. More...
struct  Treewidth_by_enumerating_elimination_sequences
class  Test_Width_elimination_sequence

Variables

Test_Width_elimination_sequence
< Width_elimination_sequence,
boost::adjacency_list
< boost::setS, boost::listS,
boost::undirectedS > > 
test_width_elimination_sequence

Detailed Description

Module for SAT decision by means of graph decomposition.


Variable Documentation

Definition at line 19 of file EliminationSequences_Testobjects.hpp.