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

typedef int OKlib::Literals::Literals_int

Definition at line 40 of file TrivialLiterals.hpp.

typedef long int OKlib::Literals::Literals_long_int

Definition at line 41 of file TrivialLiterals.hpp.

typedef short int OKlib::Literals::Literals_short_int

Definition at line 39 of file TrivialLiterals.hpp.

typedef signed char OKlib::Literals::Literals_signed_char

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<>

OKlib::Concepts::Literals_Archetype::cond_type OKlib::Literals::cond

(

const OKlib::Concepts::Literals_Archetype &

)

[inline]

Definition at line 121 of file Literals.hpp.

Referenced by OKlib::Satisfiability::Assignments::PartialAssignments::BPass0< Lit >::BPass0(), OKlib::Satisfiability::Reductions::UnitClausePropagation::CLSAdaptorUcp< Lit, Clauses >::clause(), OKlib::Concepts::Literals< Lit >::constraints(), 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::CLSAdaptorUcp< Lit, Clauses >::perform_ucp(), OKlib::Satisfiability::Assignments::TotalAssignments::BAssignmentWithQueue< Lit >::push(), OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsVectors< Lit >::unit(), OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsSets< Lit >::unit(), OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsVectors< Lit >::update(), and OKlib::Satisfiability::ProblemInstances::Clauses::RClausesAsSets< Lit >::update().

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<>

void OKlib::Literals::set_cond	(	OKlib::Concepts::Literals_Archetype &	,
		const OKlib::Concepts::Literals_Archetype::cond_type &
	)		[inline]

Definition at line 123 of file Literals.hpp.

Referenced by OKlib::Concepts::Literals< Lit >::constraints().

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.

template<>

OKlib::Concepts::Literals_Archetype::var_type OKlib::Literals::var

(

const OKlib::Concepts::Literals_Archetype &

)

[inline]

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().