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