Gecode::REG Class Reference
Functionality by programming task » Programming models » Direct modeling support

Regular expressions over integer values. More...

`#include <minimodel.hh>`

## 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.

## Related Symbols

(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)

## Detailed Description

Regular expressions over integer values.

Definition at line 1625 of file minimodel.hh.

## Constructor & Destructor Documentation

## 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 | ) |

Initialize as alternative of integers.

Throws an exception of type MiniModel::TooFewArguments if x is empty.

Definition at line 256 of file reg.cpp.

## 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.

## Member Function Documentation

## 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.

## Friends And Related Symbol Documentation

## 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:

- gecode/minimodel.hh
- gecode/minimodel/reg.cpp
- gecode/minimodel/reg.hpp