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.