#include <minimodel.hh>
List of all members.
Detailed Description
Regular expressions over integer values.
Definition at line 675 of file minimodel.hh.
|
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.
|
| std::ostream & | print (std::ostream &) const |
| | Print expression.
|
| | operator DFA (void) |
| | Return DFA for regular expression.
|
| | ~REG (void) |
| | Destructor.
|
Related Functions |
(Note that these are not member functions.)
|
| std::ostream & | operator<< (std::ostream &, const Gecode::REG &r) |
Classes |
| class | Exp |
| | Implementation of the actual expression tree. More...
|
Constructor & Destructor Documentation
| Gecode::REG::REG |
( |
void |
|
) |
|
Initialize as empty sequence (epsilon).
Definition at line 186 of file reg.cc.
| Gecode::REG::REG |
( |
int |
s |
) |
|
Initialize as single integer s.
Definition at line 211 of file reg.cc.
| Gecode::REG::REG |
( |
const IntArgs & |
x |
) |
|
| Gecode::REG::REG |
( |
const REG & |
r |
) |
|
Initialize from regular expression r.
Definition at line 188 of file reg.cc.
| Gecode::REG::~REG |
( |
void |
|
) |
|
Destructor.
Definition at line 207 of file reg.cc.
Member Function Documentation
| const REG & Gecode::REG::operator= |
( |
const REG & |
r |
) |
|
Assign to regular expression r.
Definition at line 198 of file reg.cc.
| REG Gecode::REG::operator+ |
( |
const REG & |
r |
) |
|
Return expression for: this expression followed by r.
Definition at line 289 of file reg.cc.
| REG & Gecode::REG::operator+= |
( |
const REG & |
r |
) |
|
This expression is followed by r.
Definition at line 303 of file reg.cc.
| REG Gecode::REG::operator| |
( |
const REG & |
r |
) |
|
Return expression for: this expression or r.
Definition at line 261 of file reg.cc.
| REG & Gecode::REG::operator|= |
( |
const REG & |
r |
) |
|
This expression or r.
Definition at line 275 of file reg.cc.
| REG Gecode::REG::operator* |
( |
void |
|
) |
|
Return expression for: this expression arbitrarily often (Kleene star).
Definition at line 321 of file reg.cc.
| REG Gecode::REG::operator+ |
( |
void |
|
) |
|
Return expression for: this expression at least once.
Definition at line 381 of file reg.cc.
| 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 334 of file reg.cc.
| REG Gecode::REG::operator() |
( |
unsigned int |
n |
) |
|
Return expression for: this expression at least n times.
Definition at line 365 of file reg.cc.
| std::ostream & Gecode::REG::print |
( |
std::ostream & |
os |
) |
const |
Print expression.
Definition at line 193 of file reg.cc.
| Gecode::REG::operator DFA |
( |
void |
|
) |
|
Return DFA for regular expression.
Definition at line 742 of file reg.cc.
Friends And Related Function Documentation
| std::ostream & operator<< |
( |
std::ostream & |
, |
|
|
const Gecode::REG & |
r | |
|
) |
| | [related] |
Print regular expression r
Definition at line 817 of file reg.cc.
The documentation for this class was generated from the following files:
