OKlibrary  0.2.1.6
OKlib::Satisfiability::FiniteFunctions Namespace Reference

Algorithms and representations for finite (especially boolean) functions More...

Namespaces

namespace  tests

Classes

class  QuineMcCluskey
 Functor, computing all prime implicates of a full clause-set. More...

Functions

template<int num_vars, class ClauseContainer >
ClauseContainer quine_mccluskey (const ClauseContainer &input_cs)
 Helper function to ease usage of class QuineMcCluskey.

Detailed Description

Algorithms and representations for finite (especially boolean) functions

Alias "FiF".


Function Documentation

template<int num_vars, class ClauseContainer >
ClauseContainer OKlib::Satisfiability::FiniteFunctions::quine_mccluskey ( const ClauseContainer &  input_cs) [inline]

Helper function to ease usage of class QuineMcCluskey.

Definition at line 211 of file QuineMcCluskey.hpp.