OKlibrary  0.2.1.6
Domains::Boolean_T< SignRing > 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::BooleanDomain_tag 
Concept
typedef int size_type

Public Member Functions

 BOOST_CLASS_REQUIRE (SignRing, ConceptDefinitions, SignRing_concept)
 Boolean_T ()
 Boolean_T (const Boolean_T &b)
 Boolean_T (bool b)
Boolean_Toperator= (const Boolean_T &bo)
 operator bool () const

Static Public Member Functions

static size_type size ()
static Boolean_T min ()
static Boolean_T max ()
static iterator begin ()
static iterator end ()
static Boolean_T False ()
static Boolean_T True ()

Friends

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

Detailed Description

template<class SignRing>
class Domains::Boolean_T< SignRing >

Definition at line 192 of file Domains.hpp.


Member Typedef Documentation

template<class SignRing >
typedef ConceptDefinitions::BooleanDomain_tag Domains::Boolean_T< SignRing >::Concept

Definition at line 198 of file Domains.hpp.

template<class SignRing >
typedef int Domains::Boolean_T< SignRing >::size_type

Definition at line 202 of file Domains.hpp.


Member Enumeration Documentation

template<class SignRing >
enum Domains::Boolean_T::insertion_status
Enumerator:
forced_assignment 
contradiction_created 
no_critical_change 

Definition at line 304 of file Domains.hpp.


Constructor & Destructor Documentation

template<class SignRing >
Domains::Boolean_T< SignRing >::Boolean_T ( const Boolean_T< SignRing > &  b) [inline]

Definition at line 205 of file Domains.hpp.

template<class SignRing >
Domains::Boolean_T< SignRing >::Boolean_T ( bool  b) [inline, explicit]

Definition at line 207 of file Domains.hpp.


Member Function Documentation

template<class SignRing >
static iterator Domains::Boolean_T< SignRing >::begin ( ) [inline, static]

Definition at line 297 of file Domains.hpp.

References Domains::Boolean_T< SignRing >::Boolean_T().

template<class SignRing >
Domains::Boolean_T< SignRing >::BOOST_CLASS_REQUIRE ( SignRing  ,
ConceptDefinitions  ,
SignRing_concept   
)
template<class SignRing >
static iterator Domains::Boolean_T< SignRing >::end ( ) [inline, static]

Definition at line 300 of file Domains.hpp.

References Domains::Boolean_T< SignRing >::Boolean_T().

template<class SignRing >
static Boolean_T Domains::Boolean_T< SignRing >::False ( ) [inline, static]

Definition at line 341 of file Domains.hpp.

References Domains::Boolean_T< SignRing >::Boolean_T().

template<class SignRing >
static Boolean_T Domains::Boolean_T< SignRing >::max ( ) [inline, static]

Definition at line 241 of file Domains.hpp.

References Domains::Boolean_T< SignRing >::Boolean_T().

template<class SignRing >
static Boolean_T Domains::Boolean_T< SignRing >::min ( ) [inline, static]

Definition at line 238 of file Domains.hpp.

References Domains::Boolean_T< SignRing >::Boolean_T().

template<class SignRing >
Domains::Boolean_T< SignRing >::operator bool ( ) const [inline]

Definition at line 233 of file Domains.hpp.

template<class SignRing >
Boolean_T& Domains::Boolean_T< SignRing >::operator= ( const Boolean_T< SignRing > &  bo) [inline]

Definition at line 209 of file Domains.hpp.

template<class SignRing >
static size_type Domains::Boolean_T< SignRing >::size ( ) [inline, static]

Definition at line 235 of file Domains.hpp.

template<class SignRing >
static Boolean_T Domains::Boolean_T< SignRing >::True ( ) [inline, static]

Definition at line 342 of file Domains.hpp.

References Domains::Boolean_T< SignRing >::Boolean_T().


Friends And Related Function Documentation

template<class SignRing >
bool operator!= ( Boolean_T< SignRing >  lhs,
Boolean_T< SignRing >  rhs 
) [friend]

Definition at line 216 of file Domains.hpp.

template<class SignRing >
bool operator< ( Boolean_T< SignRing >  lhs,
Boolean_T< SignRing >  rhs 
) [friend]

Definition at line 220 of file Domains.hpp.

template<class SignRing >
std::ostream& operator<< ( std::ostream &  o,
Boolean_T< SignRing >  b 
) [friend]

Definition at line 337 of file Domains.hpp.

template<class SignRing >
bool operator<= ( Boolean_T< SignRing >  lhs,
Boolean_T< SignRing >  rhs 
) [friend]

Definition at line 226 of file Domains.hpp.

template<class SignRing >
bool operator== ( Boolean_T< SignRing >  lhs,
Boolean_T< SignRing >  rhs 
) [friend]

Definition at line 213 of file Domains.hpp.

template<class SignRing >
bool operator> ( Boolean_T< SignRing >  lhs,
Boolean_T< SignRing >  rhs 
) [friend]

Definition at line 223 of file Domains.hpp.

template<class SignRing >
bool operator>= ( Boolean_T< SignRing >  lhs,
Boolean_T< SignRing >  rhs 
) [friend]

Definition at line 229 of file Domains.hpp.


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