Regular expressions over integer values.
More...
#include <minimodel.hh>
|
class | Exp |
| Implementation of the actual expression tree. More...
|
|
|
(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) |
|
Regular expressions over integer values.
Definition at line 1401 of file minimodel.hh.
Gecode::REG::REG |
( |
void |
| ) |
|
Initialize as empty sequence (epsilon)
Definition at line 164 of file reg.cpp.
Gecode::REG::REG |
( |
int |
s | ) |
|
Initialize as single integer s.
Definition at line 184 of file reg.cpp.
Gecode::REG::REG |
( |
const IntArgs & |
x | ) |
|
Gecode::REG::REG |
( |
const REG & |
r | ) |
|
Initialize from regular expression r.
Definition at line 166 of file reg.cpp.
Gecode::REG::~REG |
( |
void |
| ) |
|
Destructor.
Definition at line 180 of file reg.cpp.
const REG & Gecode::REG::operator= |
( |
const REG & |
r | ) |
|
Assign to regular expression r.
Definition at line 171 of file reg.cpp.
REG Gecode::REG::operator+ |
( |
const REG & |
r | ) |
|
Return expression for: this expression followed by r.
Definition at line 263 of file reg.cpp.
REG & Gecode::REG::operator+= |
( |
const REG & |
r | ) |
|
This expression is followed by r.
Definition at line 277 of file reg.cpp.
REG Gecode::REG::operator| |
( |
const REG & |
r | ) |
|
Return expression for: this expression or r.
Definition at line 235 of file reg.cpp.
REG & Gecode::REG::operator|= |
( |
const REG & |
r | ) |
|
This expression or r.
Definition at line 249 of file reg.cpp.
REG Gecode::REG::operator* |
( |
void |
| ) |
|
Return expression for: this expression arbitrarily often (Kleene star)
Definition at line 295 of file reg.cpp.
REG Gecode::REG::operator+ |
( |
void |
| ) |
|
Return expression for: this expression at least once.
Definition at line 355 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 308 of file reg.cpp.
REG Gecode::REG::operator() |
( |
unsigned int |
n | ) |
|
Return expression for: this expression at least n times.
Definition at line 339 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 754 of file reg.cpp.
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: