OKlibrary  0.2.1.6
OKlib::Satisfiability::FiniteFunctions::tests::Test_QuineMcCluskey< QuineMcCluskey > Class Template Reference

#include <QuineMcCluskey.hpp>

Inheritance diagram for OKlib::Satisfiability::FiniteFunctions::tests::Test_QuineMcCluskey< QuineMcCluskey >:
OKlib::TestSystem::TestBase OKlib::TestSystem::Test OKlib::TestSystem::Test

List of all members.

Public Member Functions

 Test_QuineMcCluskey ()

Detailed Description

template<template< int num_vars=4, typename ClauseContainer=std::vector< std::vector< int > > > class QuineMcCluskey>
class OKlib::Satisfiability::FiniteFunctions::tests::Test_QuineMcCluskey< QuineMcCluskey >

Definition at line 47 of file QuineMcCluskey.hpp.


Constructor & Destructor Documentation

template<template< int num_vars=4, typename ClauseContainer=std::vector< std::vector< int > > > class QuineMcCluskey>
OKlib::Satisfiability::FiniteFunctions::tests::Test_QuineMcCluskey< QuineMcCluskey >::Test_QuineMcCluskey ( ) [inline]

Definition at line 48 of file QuineMcCluskey.hpp.


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