Generated on Thu Mar 22 10:39:54 2012 for Gecode by doxygen 1.6.3

Gecode::REG Class Reference
[Direct modeling support]

Regular expressions over integer values. More...

#include <minimodel.hh>

List of all members.

Classes

class  Exp
 Implementation of the actual expression tree. More...

Public Member Functions

 REG (void)
 Initialize as empty sequence (epsilon).
 REG (int s)
 Initialize as single integer s.
 REG (const IntArgs &x)
 Initialize as alternative of integers.
 REG (const REG &r)
 Initialize from regular expression r.
const REGoperator= (const REG &r)
 Assign to regular expression r.
REG operator+ (const REG &r)
 Return expression for: this expression followed by r.
REGoperator+= (const REG &r)
 This expression is followed by r.
REG operator| (const REG &r)
 Return expression for: this expression or r.
REGoperator|= (const REG &r)
 This expression or r.
REG operator* (void)
 Return expression for: this expression arbitrarily often (Kleene star).
REG operator+ (void)
 Return expression for: this expression at least once.
REG operator() (unsigned int n, unsigned int m)
 Return expression for: this expression at least n and at most m times.
REG operator() (unsigned int n)
 Return expression for: this expression at least n times.
template<class Char , class Traits >
std::basic_ostream< Char,
Traits > & 
print (std::basic_ostream< Char, Traits > &os) const
 Print expression.
 operator DFA (void)
 Return DFA for regular expression.
 ~REG (void)
 Destructor.

Related Functions

(Note that these are not member functions.)



template<class Char , class Traits >
std::basic_ostream< Char,
Traits > & 
operator<< (std::basic_ostream< Char, Traits > &os, const REG &r)

Detailed Description

Regular expressions over integer values.

Definition at line 1189 of file minimodel.hh.


Constructor & Destructor Documentation

Gecode::REG::REG ( void   ) 

Initialize as empty sequence (epsilon).

Definition at line 159 of file reg.cpp.

Gecode::REG::REG ( int  s  ) 

Initialize as single integer s.

Definition at line 179 of file reg.cpp.

Gecode::REG::REG ( const IntArgs x  ) 

Initialize as alternative of integers.

Throws an exception of type MiniModel::TooFewArguments if x is empty.

Definition at line 186 of file reg.cpp.

Gecode::REG::REG ( const REG r  ) 

Initialize from regular expression r.

Definition at line 161 of file reg.cpp.

Gecode::REG::~REG ( void   ) 

Destructor.

Definition at line 175 of file reg.cpp.


Member Function Documentation

const REG & Gecode::REG::operator= ( const REG r  ) 

Assign to regular expression r.

Definition at line 166 of file reg.cpp.

REG Gecode::REG::operator+ ( const REG r  ) 

Return expression for: this expression followed by r.

Definition at line 258 of file reg.cpp.

REG & Gecode::REG::operator+= ( const REG r  ) 

This expression is followed by r.

Definition at line 272 of file reg.cpp.

REG Gecode::REG::operator| ( const REG r  ) 

Return expression for: this expression or r.

Definition at line 230 of file reg.cpp.

REG & Gecode::REG::operator|= ( const REG r  ) 

This expression or r.

Definition at line 244 of file reg.cpp.

REG Gecode::REG::operator* ( void   ) 

Return expression for: this expression arbitrarily often (Kleene star).

Definition at line 290 of file reg.cpp.

REG Gecode::REG::operator+ ( void   ) 

Return expression for: this expression at least once.

Definition at line 350 of file reg.cpp.

REG Gecode::REG::operator() ( unsigned int  n,
unsigned int  m 
)

Return expression for: this expression at least n and at most m times.

Definition at line 303 of file reg.cpp.

REG Gecode::REG::operator() ( unsigned int  n  ) 

Return expression for: this expression at least n times.

Definition at line 334 of file reg.cpp.

template<class Char , class Traits >
std::basic_ostream< Char, Traits > & Gecode::REG::print ( std::basic_ostream< Char, Traits > &  os  )  const [inline]

Print expression.

Definition at line 78 of file reg.hpp.

Gecode::REG::operator DFA ( void   ) 

Return DFA for regular expression.

Definition at line 749 of file reg.cpp.


Friends And Related Function Documentation

template<class Char , class Traits >
std::basic_ostream< Char, Traits > & operator<< ( std::basic_ostream< Char, Traits > &  os,
const REG r 
) [related]

Print regular expression r

Definition at line 87 of file reg.hpp.


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