Generated on Fri Oct 19 11:25:53 2018 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 1518 of file minimodel.hh.


Constructor & Destructor Documentation

Gecode::REG::REG ( void   ) 

Initialize as empty sequence (epsilon).

Definition at line 229 of file reg.cpp.

Gecode::REG::REG ( int  s  ) 

Initialize as single integer s.

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

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

Initialize from regular expression r.

Definition at line 231 of file reg.cpp.

Gecode::REG::~REG ( void   ) 

Destructor.

Definition at line 245 of file reg.cpp.


Member Function Documentation

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

Assign to regular expression r.

Definition at line 236 of file reg.cpp.

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

Return expression for: this expression followed by r.

Definition at line 328 of file reg.cpp.

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

This expression is followed by r.

Definition at line 342 of file reg.cpp.

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

Return expression for: this expression or r.

Definition at line 300 of file reg.cpp.

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

This expression or r.

Definition at line 314 of file reg.cpp.

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

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

Definition at line 360 of file reg.cpp.

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

Return expression for: this expression at least once.

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

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

Return expression for: this expression at least n times.

Definition at line 404 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 38 of file reg.hpp.

Gecode::REG::operator DFA ( void   ) 

Return DFA for regular expression.

Definition at line 828 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 44 of file reg.hpp.


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