OKlibrary  0.2.1.6
Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name > Class Template Reference

#include <Literals.hpp>

Inheritance diagram for Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >:
InfoPolicyLit

List of all members.

Public Types

typedef
Variables::VariablesAsIndices
< InfoPolicyVar< Index >, Name,
typename InfoPolicyLit< Index >
::Link > 
Var
typedef Values::BooleanValues Val

Public Member Functions

 LiteralsAsIntegers ()
 LiteralsAsIntegers (Var var, Val val)
 LiteralsAsIntegers (const LiteralsAsIntegers &x)
 operator bool () const
Var var () const
Val val () const
 operator std::pair< const Var, Val > () const
LiteralsAsIntegersoperator++ ()
LiteralsAsIntegers operator++ (int)
LiteralsAsIntegersadd (Val v)
LiteralsAsIntegers operator+ (Val v) const
bool operator< (LiteralsAsIntegers x) const
bool operator== (LiteralsAsIntegers x) const
bool operator!= (LiteralsAsIntegers x) const
InfoPolicyLit< Index >
::InfoReferenceType 
operator* () const

Detailed Description

template<typename Index, template< typename Index > class InfoPolicyVar, template< typename Index > class InfoPolicyLit, typename Name>
class Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >

Definition at line 181 of file Literals.hpp.


Member Typedef Documentation

template<typename Index , template< typename Index > class InfoPolicyVar, template< typename Index > class InfoPolicyLit, typename Name >
typedef Values::BooleanValues Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >::Val

Definition at line 185 of file Literals.hpp.

template<typename Index , template< typename Index > class InfoPolicyVar, template< typename Index > class InfoPolicyLit, typename Name >
typedef Variables::VariablesAsIndices<InfoPolicyVar<Index>, Name, typename InfoPolicyLit<Index>::Link > Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >::Var

Definition at line 184 of file Literals.hpp.


Constructor & Destructor Documentation

template<typename Index , template< typename Index > class InfoPolicyVar, template< typename Index > class InfoPolicyLit, typename Name >
Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >::LiteralsAsIntegers ( ) [inline]

Definition at line 187 of file Literals.hpp.

template<typename Index , template< typename Index > class InfoPolicyVar, template< typename Index > class InfoPolicyLit, typename Name >
Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >::LiteralsAsIntegers ( Var  var,
Val  val 
) [inline]

Definition at line 188 of file Literals.hpp.

template<typename Index , template< typename Index > class InfoPolicyVar, template< typename Index > class InfoPolicyLit, typename Name >
Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >::LiteralsAsIntegers ( const LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name > &  x) [inline]

Definition at line 190 of file Literals.hpp.


Member Function Documentation

template<typename Index , template< typename Index > class InfoPolicyVar, template< typename Index > class InfoPolicyLit, typename Name >
LiteralsAsIntegers& Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >::add ( Val  v) [inline]
template<typename Index , template< typename Index > class InfoPolicyVar, template< typename Index > class InfoPolicyLit, typename Name >
Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >::operator bool ( ) const [inline]

Definition at line 192 of file Literals.hpp.

template<typename Index , template< typename Index > class InfoPolicyVar, template< typename Index > class InfoPolicyLit, typename Name >
Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >::operator std::pair< const Var, Val > ( ) const [inline]
template<typename Index , template< typename Index > class InfoPolicyVar, template< typename Index > class InfoPolicyLit, typename Name >
bool Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >::operator!= ( LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >  x) const [inline]

Definition at line 230 of file Literals.hpp.

template<typename Index , template< typename Index > class InfoPolicyVar, template< typename Index > class InfoPolicyLit, typename Name >
InfoPolicyLit<Index>::InfoReferenceType Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >::operator* ( ) const [inline]

Definition at line 234 of file Literals.hpp.

template<typename Index , template< typename Index > class InfoPolicyVar, template< typename Index > class InfoPolicyLit, typename Name >
LiteralsAsIntegers Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >::operator+ ( Val  v) const [inline]
template<typename Index , template< typename Index > class InfoPolicyVar, template< typename Index > class InfoPolicyLit, typename Name >
LiteralsAsIntegers& Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >::operator++ ( ) [inline]

Definition at line 209 of file Literals.hpp.

template<typename Index , template< typename Index > class InfoPolicyVar, template< typename Index > class InfoPolicyLit, typename Name >
LiteralsAsIntegers Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >::operator++ ( int  ) [inline]

Definition at line 210 of file Literals.hpp.

template<typename Index , template< typename Index > class InfoPolicyVar, template< typename Index > class InfoPolicyLit, typename Name >
bool Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >::operator< ( LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >  x) const [inline]

Definition at line 223 of file Literals.hpp.

template<typename Index , template< typename Index > class InfoPolicyVar, template< typename Index > class InfoPolicyLit, typename Name >
bool Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >::operator== ( LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >  x) const [inline]

Definition at line 227 of file Literals.hpp.

template<typename Index , template< typename Index > class InfoPolicyVar, template< typename Index > class InfoPolicyLit, typename Name >
Val Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >::val ( ) const [inline]
template<typename Index , template< typename Index > class InfoPolicyVar, template< typename Index > class InfoPolicyLit, typename Name >
Var Literals::LiteralsAsIntegers< Index, InfoPolicyVar, InfoPolicyLit, Name >::var ( ) const [inline]

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