OKlibrary  0.2.1.6
EliminationSequences_Testobjects.hpp File Reference

Go to the source code of this file.

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::GraphDecomposition
 

Module for SAT decision by means of graph decomposition.


Variables

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