OKlibrary  0.2.1.6
OKlib::InjectivityConstraints::TrivialAllDifferent< PASS > Class Template Reference

Very first prototype for an all-different constraint (just returning true or false). More...

#include <AllDifferent.hpp>

List of all members.

Public Types

typedef PASS partial_assignments_type
typedef
partial_assignments_type::variables_type 
variables_type
typedef
partial_assignments_type::value_type 
value_type
typedef
partial_assignments_type::domain_type 
domain_type

Public Member Functions

template<typename InputIterator >
 TrivialAllDifferent (const InputIterator begin, const InputIterator end)
boost::logic::tribool eval (const partial_assignments_type &phi)

Detailed Description

template<class PASS>
class OKlib::InjectivityConstraints::TrivialAllDifferent< PASS >

Very first prototype for an all-different constraint (just returning true or false).

Definition at line 31 of file AllDifferent.hpp.


Member Typedef Documentation

template<class PASS >
typedef partial_assignments_type::domain_type OKlib::InjectivityConstraints::TrivialAllDifferent< PASS >::domain_type

Definition at line 35 of file AllDifferent.hpp.

Definition at line 32 of file AllDifferent.hpp.

template<class PASS >
typedef partial_assignments_type::value_type OKlib::InjectivityConstraints::TrivialAllDifferent< PASS >::value_type

Definition at line 34 of file AllDifferent.hpp.

template<class PASS >
typedef partial_assignments_type::variables_type OKlib::InjectivityConstraints::TrivialAllDifferent< PASS >::variables_type

Definition at line 33 of file AllDifferent.hpp.


Constructor & Destructor Documentation

template<class PASS >
template<typename InputIterator >
OKlib::InjectivityConstraints::TrivialAllDifferent< PASS >::TrivialAllDifferent ( const InputIterator  begin,
const InputIterator  end 
) [inline]

Definition at line 44 of file AllDifferent.hpp.


Member Function Documentation

template<class PASS >
boost::logic::tribool OKlib::InjectivityConstraints::TrivialAllDifferent< PASS >::eval ( const partial_assignments_type phi) [inline]

Definition at line 46 of file AllDifferent.hpp.

References end.


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