Regular expressions over integer values.
More...
#include <minimodel.hh>
|
class | Exp |
| Implementation of the actual expression tree. More...
|
|
| 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.
|
|
(Note that these are not member symbols.)
|
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 1625 of file minimodel.hh.
◆ REG() [1/4]
Gecode::REG::REG |
( |
void | | ) |
|
Initialize as empty sequence (epsilon)
Definition at line 229 of file reg.cpp.
◆ REG() [2/4]
Gecode::REG::REG |
( |
int | s | ) |
|
Initialize as single integer s.
Definition at line 249 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 231 of file reg.cpp.
◆ ~REG()
Gecode::REG::~REG |
( |
void | | ) |
|
Destructor.
Definition at line 245 of file reg.cpp.
◆ operator=()
const REG & Gecode::REG::operator= |
( |
const REG & | r | ) |
|
Assign to regular expression r.
Definition at line 236 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 328 of file reg.cpp.
◆ operator+=()
REG & Gecode::REG::operator+= |
( |
const REG & | r | ) |
|
This expression is followed by r.
Definition at line 342 of file reg.cpp.
◆ operator|()
REG Gecode::REG::operator| |
( |
const REG & | r | ) |
|
Return expression for: this expression or r.
Definition at line 300 of file reg.cpp.
◆ operator|=()
REG & Gecode::REG::operator|= |
( |
const REG & | r | ) |
|
This expression or r.
Definition at line 314 of file reg.cpp.
◆ operator*()
REG Gecode::REG::operator* |
( |
void | | ) |
|
Return expression for: this expression arbitrarily often (Kleene star)
Definition at line 360 of file reg.cpp.
◆ operator+() [2/2]
REG Gecode::REG::operator+ |
( |
void | | ) |
|
Return expression for: this expression at least once.
Definition at line 420 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 373 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 404 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 38 of file reg.hpp.
◆ operator DFA()
Gecode::REG::operator DFA |
( |
void | | ) |
|
Return DFA for regular expression.
Definition at line 828 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 38 of file reg.hpp.
The documentation for this class was generated from the following files: