OKlibrary  0.2.1.6
EliminationSequences_Tests.hpp File Reference

Tests for the methods for handling elimination sequences for graphs (related to the notion of treewidth) More...

#include <vector>
#include <cassert>
#include <OKlib/TestSystem/TestBaseClass.hpp>
#include <OKlib/TestSystem/TestExceptions.hpp>

Go to the source code of this file.

Classes

class  OKlib::GraphDecomposition::Test_Width_elimination_sequence< Width_elimination_sequence, Graph >

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::GraphDecomposition
 

Module for SAT decision by means of graph decomposition.



Detailed Description

Tests for the methods for handling elimination sequences for graphs (related to the notion of treewidth)

Definition in file EliminationSequences_Tests.hpp.