OKlibrary  0.2.1.6
OKlib::Literals Namespace Reference

Namespaces

namespace  traits

Typedefs

typedef signed char Literals_signed_char
typedef short int Literals_short_int
typedef int Literals_int
typedef long int Literals_long_int

Functions

template<>
OKlib::Concepts::Literals_Archetype::var_type var (const OKlib::Concepts::Literals_Archetype &)
template<>
OKlib::Concepts::Literals_Archetype::cond_type cond (const OKlib::Concepts::Literals_Archetype &)
template<>
void set_cond (OKlib::Concepts::Literals_Archetype &, const OKlib::Concepts::Literals_Archetype::cond_type &)
template<typename L >
OKlib::Literals::traits::cond_type
< L >::type 
cond (const L &x)
 Primary function template to extract conditions from literals.
template<typename L >
void set_cond (L &x, const typename OKlib::Literals::traits::cond_type< L >::type &cond)
 Primary function template to set conditions in literals.
template<>
traits::var_type
< Literals_signed_char >::type 
var (const Literals_signed_char &x)
template<>
traits::var_type
< Literals_short_int >::type 
var (const Literals_short_int &x)
template<>
traits::var_type< Literals_int >
::type 
var (const Literals_int &x)
template<>
traits::var_type
< Literals_long_int >::type 
var (const Literals_long_int &x)
template<>
traits::cond_type
< Literals_signed_char >::type 
cond (const Literals_signed_char &x)
template<>
traits::cond_type
< Literals_short_int >::type 
cond (const Literals_short_int &x)
template<>
traits::cond_type
< Literals_int >::type 
cond (const Literals_int &x)
template<>
traits::cond_type
< Literals_long_int >::type 
cond (const Literals_long_int &x)
template<>
void set_cond (Literals_signed_char &x, const traits::cond_type< Literals_signed_char >::type &cond)
template<>
void set_cond (Literals_short_int &x, const traits::cond_type< Literals_short_int >::type &cond)
template<>
void set_cond (Literals_int &x, const traits::cond_type< Literals_int >::type &cond)
template<>
void set_cond (Literals_long_int &x, const traits::cond_type< Literals_long_int >::type &cond)
template<typename L >
OKlib::Literals::traits::var_type
< L >::type 
var (const L &x)
 Primary function template to extract variables from literals.

Typedef Documentation

Definition at line 40 of file TrivialLiterals.hpp.

Definition at line 41 of file TrivialLiterals.hpp.

Definition at line 39 of file TrivialLiterals.hpp.

Definition at line 38 of file TrivialLiterals.hpp.


Function Documentation

template<typename L >
OKlib::Literals::traits::cond_type<L>::type OKlib::Literals::cond ( const L x) [inline]

Primary function template to extract conditions from literals.

template<>
traits::cond_type<Literals_signed_char>::type OKlib::Literals::cond ( const Literals_signed_char &  x) [inline]

Definition at line 75 of file TrivialLiterals.hpp.

template<>
traits::cond_type<Literals_short_int>::type OKlib::Literals::cond ( const Literals_short_int &  x) [inline]

Definition at line 77 of file TrivialLiterals.hpp.

template<>
traits::cond_type<Literals_int>::type OKlib::Literals::cond ( const Literals_int &  x) [inline]

Definition at line 79 of file TrivialLiterals.hpp.

template<>
traits::cond_type<Literals_long_int>::type OKlib::Literals::cond ( const Literals_long_int &  x) [inline]

Definition at line 81 of file TrivialLiterals.hpp.

template<typename L >
void OKlib::Literals::set_cond ( L x,
const typename OKlib::Literals::traits::cond_type< L >::type &  cond 
) [inline]

Primary function template to set conditions in literals.

template<>
void OKlib::Literals::set_cond ( Literals_signed_char &  x,
const traits::cond_type< Literals_signed_char >::type &  cond 
) [inline]

Definition at line 84 of file TrivialLiterals.hpp.

template<>
void OKlib::Literals::set_cond ( Literals_short_int &  x,
const traits::cond_type< Literals_short_int >::type &  cond 
) [inline]

Definition at line 89 of file TrivialLiterals.hpp.

template<>
void OKlib::Literals::set_cond ( Literals_int &  x,
const traits::cond_type< Literals_int >::type &  cond 
) [inline]

Definition at line 94 of file TrivialLiterals.hpp.

template<>
void OKlib::Literals::set_cond ( Literals_long_int &  x,
const traits::cond_type< Literals_long_int >::type &  cond 
) [inline]

Definition at line 99 of file TrivialLiterals.hpp.

template<typename L >
OKlib::Literals::traits::var_type<L>::type OKlib::Literals::var ( const L x) [inline]

Primary function template to extract variables from literals.

template<>
traits::var_type<Literals_signed_char>::type OKlib::Literals::var ( const Literals_signed_char &  x) [inline]

Definition at line 66 of file TrivialLiterals.hpp.

template<>
traits::var_type<Literals_short_int>::type OKlib::Literals::var ( const Literals_short_int &  x) [inline]

Definition at line 68 of file TrivialLiterals.hpp.

template<>
traits::var_type<Literals_int>::type OKlib::Literals::var ( const Literals_int &  x) [inline]

Definition at line 70 of file TrivialLiterals.hpp.

template<>
traits::var_type<Literals_long_int>::type OKlib::Literals::var ( const Literals_long_int &  x) [inline]

Definition at line 72 of file TrivialLiterals.hpp.

Definition at line 119 of file Literals.hpp.

Referenced by backtracking(), OKlib::Satisfiability::Assignments::PartialAssignments::BPass0< Lit >::BPass0(), branch(), branch1(), choose_and_instantiate_variable_in_clause(), OKlib::Satisfiability::Reductions::UnitClausePropagation::CLSAdaptorUcp< Lit, Clauses >::clause(), OKlib::Satisfiability::Assignments::PartialAssignments::ApplyPassAdaptor< Int, RPass, CLSAdaptor >::clause(), OKlib::Concepts::Literals< Lit >::constraints(), dpl(), find_and_propagate_bieq(), further_examin(), further_examin_var_if_negative(), further_examin_var_if_positive(), get_nb(), get_nb_clauses(), get_neg_clause_nb(), get_pos_clause_nb(), get_resolvant_nb(), insert_var_if_necessary1(), OKlib::InputOutput::ListTransfer< CLSAdaptor >::ListTransfer(), main(), Clausesets::Cls::n(), FaronsPuzzle::Test_score::neg(), OKlib::Satisfiability::ProblemInstances::Literals::Literal2pair< Lit >::operator()(), OKlib::Satisfiability::Assignments::PartialAssignments::BPass0< Lit >::operator()(), OKlib::Satisfiability::Assignments::TotalAssignments::BAssignmentWithQueue< Lit >::operator()(), OKlib::Satisfiability::Reductions::UnitClausePropagation::CLSAdaptorUcpW< WatchedClauses, Assignment >::output(), OKlib::Satisfiability::Reductions::UnitClausePropagation::CLSAdaptorUcp< Lit, Clauses >::perform_ucp(), OKlib::Satisfiability::Assignments::TotalAssignments::BAssignmentWithQueue< Lit >::push(), OKlib::Satisfiability::Reductions::UnitClausePropagation::CLSAdaptorUcpW< WatchedClauses, Assignment >::push_unit_clause(), satisfy_literal(), shorten_equivalence(), substitude_equivalence(), OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsVectors< Lit >::unit(), OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsSets< Lit >::unit(), unitclause_process(), OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsVectors< Lit >::update(), and OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsSets< Lit >::update().