OKlibrary  0.2.1.6
OKlib::Satisfiability::ProblemInstances::Literals::Literal2pair< Lit > Struct Template Reference

Functor for translating a literal x into a pair (var,condition) More...

#include <Basics.hpp>

Inheritance diagram for OKlib::Satisfiability::ProblemInstances::Literals::Literal2pair< Lit >:
unary_function

List of all members.

Public Types

typedef Lit literal_type
typedef
OKlib::Literals::traits::var_type
< Lit >::type 
var_type
typedef
OKlib::Literals::traits::cond_type
< Lit >::type 
cond_type
typedef std::pair< var_type,
cond_type
litaspair_type

Public Member Functions

 Literal2pair ()
litaspair_type operator() (const literal_type x) const

Detailed Description

template<typename Lit>
struct OKlib::Satisfiability::ProblemInstances::Literals::Literal2pair< Lit >

Functor for translating a literal x into a pair (var,condition)

Definition at line 31 of file Basics.hpp.


Member Typedef Documentation

Definition at line 34 of file Basics.hpp.

Definition at line 35 of file Basics.hpp.

Definition at line 32 of file Basics.hpp.

Definition at line 33 of file Basics.hpp.


Constructor & Destructor Documentation

Definition at line 36 of file Basics.hpp.


Member Function Documentation

template<typename Lit>
litaspair_type OKlib::Satisfiability::ProblemInstances::Literals::Literal2pair< Lit >::operator() ( const literal_type  x) const [inline]

Definition at line 37 of file Basics.hpp.

References OKlib::Literals::cond(), and OKlib::Literals::var().


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