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 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 1188 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 | ) |
|
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: