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 1518 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
- gecode/minimodel/reg.cpp
- gecode/minimodel/reg.hpp