OKlibrary  0.2.1.6
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.