OKlibrary  0.2.1.6
Domains::FiniteDomain< Int, D > Class Template Reference

#include <Domains.hpp>

List of all members.

Classes

class  iterator
class  set

Public Types

enum  insertion_status { forced_assignment, contradiction_created, no_critical_change }
typedef
ConceptDefinitions::FiniteDomain_tag 
Concept
typedef Int size_type

Public Member Functions

 FiniteDomain ()
 FiniteDomain (const FiniteDomain &v)
FiniteDomainoperator= (const FiniteDomain &v)

Static Public Member Functions

static size_type size ()
static FiniteDomain min ()
static FiniteDomain max ()
static iterator begin ()
static iterator end ()

Friends

bool operator== (FiniteDomain lhs, FiniteDomain rhs)
bool operator!= (FiniteDomain lhs, FiniteDomain rhs)
bool operator< (FiniteDomain lhs, FiniteDomain rhs)
bool operator> (FiniteDomain lhs, FiniteDomain rhs)
bool operator<= (FiniteDomain lhs, FiniteDomain rhs)
bool operator>= (FiniteDomain lhs, FiniteDomain rhs)
std::ostream & operator<< (std::ostream &o, FiniteDomain e)

Detailed Description

template<typename Int, Int D>
class Domains::FiniteDomain< Int, D >

Definition at line 27 of file Domains.hpp.


Member Typedef Documentation

template<typename Int, Int D>
typedef ConceptDefinitions::FiniteDomain_tag Domains::FiniteDomain< Int, D >::Concept

Definition at line 39 of file Domains.hpp.

template<typename Int, Int D>
typedef Int Domains::FiniteDomain< Int, D >::size_type

Definition at line 41 of file Domains.hpp.


Member Enumeration Documentation

template<typename Int, Int D>
enum Domains::FiniteDomain::insertion_status
Enumerator:
forced_assignment 
contradiction_created 
no_critical_change 

Definition at line 148 of file Domains.hpp.


Constructor & Destructor Documentation

template<typename Int, Int D>
Domains::FiniteDomain< Int, D >::FiniteDomain ( const FiniteDomain< Int, D > &  v) [inline]

Definition at line 44 of file Domains.hpp.


Member Function Documentation

template<typename Int, Int D>
static iterator Domains::FiniteDomain< Int, D >::begin ( ) [inline, static]

Definition at line 135 of file Domains.hpp.

References Domains::FiniteDomain< Int, D >::min().

template<typename Int, Int D>
static iterator Domains::FiniteDomain< Int, D >::end ( ) [inline, static]

Definition at line 138 of file Domains.hpp.

References Domains::FiniteDomain< Int, D >::FiniteDomain().

template<typename Int, Int D>
static FiniteDomain Domains::FiniteDomain< Int, D >::max ( ) [inline, static]

Definition at line 79 of file Domains.hpp.

References Domains::FiniteDomain< Int, D >::FiniteDomain().

template<typename Int, Int D>
static FiniteDomain Domains::FiniteDomain< Int, D >::min ( ) [inline, static]
template<typename Int, Int D>
FiniteDomain& Domains::FiniteDomain< Int, D >::operator= ( const FiniteDomain< Int, D > &  v) [inline]

Definition at line 47 of file Domains.hpp.

template<typename Int, Int D>
static size_type Domains::FiniteDomain< Int, D >::size ( ) [inline, static]

Definition at line 73 of file Domains.hpp.


Friends And Related Function Documentation

template<typename Int, Int D>
bool operator!= ( FiniteDomain< Int, D >  lhs,
FiniteDomain< Int, D >  rhs 
) [friend]

Definition at line 56 of file Domains.hpp.

template<typename Int, Int D>
bool operator< ( FiniteDomain< Int, D >  lhs,
FiniteDomain< Int, D >  rhs 
) [friend]

Definition at line 60 of file Domains.hpp.

template<typename Int, Int D>
std::ostream& operator<< ( std::ostream &  o,
FiniteDomain< Int, D >  e 
) [friend]

Definition at line 171 of file Domains.hpp.

template<typename Int, Int D>
bool operator<= ( FiniteDomain< Int, D >  lhs,
FiniteDomain< Int, D >  rhs 
) [friend]

Definition at line 66 of file Domains.hpp.

template<typename Int, Int D>
bool operator== ( FiniteDomain< Int, D >  lhs,
FiniteDomain< Int, D >  rhs 
) [friend]

Definition at line 53 of file Domains.hpp.

template<typename Int, Int D>
bool operator> ( FiniteDomain< Int, D >  lhs,
FiniteDomain< Int, D >  rhs 
) [friend]

Definition at line 63 of file Domains.hpp.

template<typename Int, Int D>
bool operator>= ( FiniteDomain< Int, D >  lhs,
FiniteDomain< Int, D >  rhs 
) [friend]

Definition at line 69 of file Domains.hpp.


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