OKlib::AtomicConditions Namespace Reference

Namespaces
namespace	traits
Typedefs
typedef bool	AC_bool
	Boolean values as atomic conditions.
Functions
template<>
bool	eval (const OKlib::Concepts::AtomicCondition_Archetype &, const OKlib::AtomicConditions::traits::value_type< OKlib::Concepts::AtomicCondition_Archetype >::type &)
template<>
void	complement (OKlib::Concepts::AtomicCondition_Archetype &)
template<typename AC >
void	complement (AC &x)
template<typename AC >
bool	eval (const AC &, const typename traits::value_type< AC >::type &)
template<>
bool	eval (const AC_bool &ac, const bool &b)
template<>
void	complement (AC_bool &ac)

---

Typedef Documentation

OKlib::AtomicConditions::AC_bool

Boolean values as atomic conditions.

Definition at line 30 of file TrivialAtomicConditions.hpp.

---

Function Documentation

template<typename AC >

void OKlib::AtomicConditions::complement

(

AC &

x

)

[inline]

Definition at line 20 of file complement.hpp.

template<>

void OKlib::AtomicConditions::complement

(

AC_bool &

ac

)

[inline]

Definition at line 46 of file TrivialAtomicConditions.hpp.

template<>

void OKlib::AtomicConditions::complement

(

OKlib::Concepts::AtomicCondition_Archetype &

)

[inline]

Definition at line 107 of file AtomicConditions.hpp.

template<typename AC >

bool OKlib::AtomicConditions::eval	(	const AC &	,
		const typename traits::value_type< AC >::type &
	)		[inline]

template<>

bool OKlib::AtomicConditions::eval	(	const AC_bool &	ac,
		const bool &	b
	)		[inline]

Definition at line 41 of file TrivialAtomicConditions.hpp.

template<>

bool OKlib::AtomicConditions::eval	(	const OKlib::Concepts::AtomicCondition_Archetype &	,
		const OKlib::AtomicConditions::traits::value_type< OKlib::Concepts::AtomicCondition_Archetype >::type &
	)		[inline]

Definition at line 103 of file AtomicConditions.hpp.

Referenced by OKlib::Concepts::AtomicCondition< AC >::constraints(), OKlib::SATCompetition::LexicographicalEvaluationRandom< indexed_database >::LexicographicalEvaluationRandom(), and IteratorHandling::Arithmetical_progression< Num, Int >::iterator::operator*().