Regular expressions over integer values. More...

#include <gecode/minimodel.hh>

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

◆ REG() [2/4]

Gecode::REG::REG ( int s )

Initialize as single integer s.

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

◆ REG() [4/4]

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

Initialize from regular expression r.

◆ ~REG()

Gecode::REG::~REG ( void )

Destructor.

Member Function Documentation

◆ operator=()

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

Assign to regular expression r.

◆ operator+() [1/2]

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

Return expression for: this expression followed by r.

◆ operator+=()

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

This expression is followed by r.

◆ operator|()

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

Return expression for: this expression or r.

◆ operator|=()

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

This expression or r.

◆ operator*()

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

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

◆ operator+() [2/2]

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

Return expression for: this expression at least once.

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

◆ operator()() [2/2]

REG Gecode::REG::operator() ( unsigned int n )

Return expression for: this expression at least n times.

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

◆ operator<<()