Regular expressions over integer values. More...

#include <gecode/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 1672 of file minimodel.hh.

Constructor & Destructor Documentation

◆ REG() [1/4]

Gecode::REG::REG ( void )

Initialize as empty sequence (epsilon).

Definition at line 230 of file reg.cpp.

◆ REG() [2/4]

Gecode::REG::REG ( int s )

Initialize as single integer s.

Definition at line 250 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 257 of file reg.cpp.

◆ REG() [4/4]

Gecode::REG::REG ( const REG & r )

Initialize from regular expression r.

Definition at line 232 of file reg.cpp.

◆ ~REG()

Gecode::REG::~REG ( void )

Destructor.

Definition at line 246 of file reg.cpp.

Member Function Documentation

◆ operator=()

const REG & Gecode::REG::operator= ( const REG & r )

Assign to regular expression r.

Definition at line 237 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 329 of file reg.cpp.

◆ operator+=()

REG & Gecode::REG::operator+= ( const REG & r )

This expression is followed by r.

Definition at line 343 of file reg.cpp.

◆ operator|()

REG Gecode::REG::operator| ( const REG & r )

Return expression for: this expression or r.

Definition at line 301 of file reg.cpp.

◆ operator|=()

REG & Gecode::REG::operator|= ( const REG & r )

This expression or r.

Definition at line 315 of file reg.cpp.

◆ operator*()

REG Gecode::REG::operator* ( void )

Return expression for: this expression arbitrarily often (Kleene star).

Definition at line 361 of file reg.cpp.

◆ operator+() [2/2]

REG Gecode::REG::operator+ ( void )

Return expression for: this expression at least once.

Definition at line 421 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 374 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 405 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 827 of file reg.cpp.

◆ operator<<()