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 1522 of file minimodel.hh.
◆ REG() [1/4]
Gecode::REG::REG |
( |
void |
| ) |
|
Initialize as empty sequence (epsilon)
Definition at line 232 of file reg.cpp.
◆ REG() [2/4]
Gecode::REG::REG |
( |
int |
s | ) |
|
Initialize as single integer s.
Definition at line 252 of file reg.cpp.
◆ REG() [3/4]
Gecode::REG::REG |
( |
const IntArgs & |
x | ) |
|
◆ REG() [4/4]
Gecode::REG::REG |
( |
const REG & |
r | ) |
|
Initialize from regular expression r.
Definition at line 234 of file reg.cpp.
◆ ~REG()
Gecode::REG::~REG |
( |
void |
| ) |
|
Destructor.
Definition at line 248 of file reg.cpp.
◆ operator=()
const REG & Gecode::REG::operator= |
( |
const REG & |
r | ) |
|
Assign to regular expression r.
Definition at line 239 of file reg.cpp.
◆ operator+() [1/2]
REG Gecode::REG::operator+ |
( |
const REG & |
r | ) |
|
Return expression for: this expression followed by r.
Definition at line 331 of file reg.cpp.
◆ operator+=()
REG & Gecode::REG::operator+= |
( |
const REG & |
r | ) |
|
This expression is followed by r.
Definition at line 345 of file reg.cpp.
◆ operator|()
REG Gecode::REG::operator| |
( |
const REG & |
r | ) |
|
Return expression for: this expression or r.
Definition at line 303 of file reg.cpp.
◆ operator|=()
REG & Gecode::REG::operator|= |
( |
const REG & |
r | ) |
|
This expression or r.
Definition at line 317 of file reg.cpp.
◆ operator*()
REG Gecode::REG::operator* |
( |
void |
| ) |
|
Return expression for: this expression arbitrarily often (Kleene star)
Definition at line 363 of file reg.cpp.
◆ operator+() [2/2]
REG Gecode::REG::operator+ |
( |
void |
| ) |
|
Return expression for: this expression at least once.
Definition at line 423 of file reg.cpp.
◆ operator()() [1/2]
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 376 of file reg.cpp.
◆ operator()() [2/2]
REG Gecode::REG::operator() |
( |
unsigned int |
n | ) |
|
Return expression for: this expression at least n times.
Definition at line 407 of file reg.cpp.
◆ print()
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 42 of file reg.hpp.
◆ operator DFA()
Gecode::REG::operator DFA |
( |
void |
| ) |
|
Return DFA for regular expression.
Definition at line 829 of file reg.cpp.
◆ operator<<()
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 48 of file reg.hpp.
The documentation for this class was generated from the following files: