OKlib::Satisfiability::ProblemInstances::Literals Namespace Reference

Module with components for (generalised) literals. More...

Classes
struct	Literal2pair
	Functor for translating a literal x into a pair (var,condition) More...
Functions
template<typename Lit >
Literal2pair< Lit >::litaspair_type	literal2pair (const Lit x)

---

Detailed Description

Module with components for (generalised) literals.

Alias "Lit".

---

Function Documentation

template<typename Lit >

Literal2pair<Lit>::litaspair_type OKlib::Satisfiability::ProblemInstances::Literals::literal2pair

(

const Lit

x

)

[inline]

Definition at line 43 of file Basics.hpp.