Generated on Mon Nov 30 23:53:47 2009 for Gecode by doxygen 1.6.1

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.

Detailed Description

Regular expressions over integer values.

Definition at line 886 of file minimodel.hh.


Constructor & Destructor Documentation

Gecode::REG::REG ( void   ) 

Initialize as empty sequence (epsilon).

Definition at line 158 of file reg.cpp.

Gecode::REG::REG ( int  s  ) 

Initialize as single integer s.

Definition at line 178 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 185 of file reg.cpp.

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

Initialize from regular expression r.

Definition at line 160 of file reg.cpp.

Gecode::REG::~REG ( void   ) 

Destructor.

Definition at line 174 of file reg.cpp.


Member Function Documentation

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

Assign to regular expression r.

Definition at line 165 of file reg.cpp.

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

Return expression for: this expression followed by r.

Definition at line 257 of file reg.cpp.

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

This expression is followed by r.

Definition at line 271 of file reg.cpp.

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

Return expression for: this expression or r.

Definition at line 229 of file reg.cpp.

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

This expression or r.

Definition at line 243 of file reg.cpp.

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

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

Definition at line 289 of file reg.cpp.

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

Return expression for: this expression at least once.

Definition at line 349 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 302 of file reg.cpp.

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

Return expression for: this expression at least n times.

Definition at line 333 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 748 of file reg.cpp.


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