Gecode::REG Class Reference
[Direct modeling support]
Regular expressions over integer values. More...
#include <minimodel.hh>
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 REG & | operator= (const REG &r) |
Assign to regular expression r. | |
REG | operator+ (const REG &r) |
Return expression for: this expression followed by r. | |
REG & | operator+= (const REG &r) |
This expression is followed by r. | |
REG | operator| (const REG &r) |
Return expression for: this expression or r. | |
REG & | operator|= (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 | ) |
Gecode::REG::REG | ( | const IntArgs & | x | ) |
Initialize as alternative of integers.
Throws an exception of type MiniModel::TooFewArguments if x is empty.
Gecode::REG::REG | ( | const REG & | r | ) |
Member Function Documentation
REG Gecode::REG::operator* | ( | void | ) |
REG Gecode::REG::operator+ | ( | void | ) |
REG Gecode::REG::operator() | ( | unsigned int | n, | |
unsigned int | m | |||
) |
REG Gecode::REG::operator() | ( | unsigned int | n | ) |
template<class Char , class Traits >
std::basic_ostream< Char, Traits > & Gecode::REG::print | ( | std::basic_ostream< Char, Traits > & | os | ) | const [inline] |
Gecode::REG::operator DFA | ( | void | ) |
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] |
The documentation for this class was generated from the following files:
- gecode/minimodel.hh (Revision: 12537)
- gecode/minimodel/reg.cpp (Revision: 11279)
- gecode/minimodel/reg.hpp (Revision: 7995)