Set expressions More...

#include <gecode/minimodel.hh>

Public Types
enum	NodeType { NT_VAR , NT_CONST , NT_LEXP , NT_CMPL , NT_INTER , NT_UNION , NT_DUNION }
	Type of set expression. More...

Public Member Functions
	SetExpr (void)
	Default constructor.
	SetExpr (const SetExpr &e)
	Copy constructor.
	SetExpr (const SetExpr &l, NodeType t, const SetExpr &r)
	Construct expression for type and subexpresssions.
	SetExpr (const SetVar &x)
	Construct expression for variable.
	SetExpr (const LinIntExpr &x)
	Construct expression for integer variable.
	SetExpr (const IntSet &s)
	Construct expression for constant.
	SetExpr (const SetExpr &e, NodeType t)
	Construct expression for negation.
SetVar	post (Home home) const
	Post propagators for expression.
void	post (Home home, SetRelType srt, const SetExpr &e) const
	Post propagators for relation.
void	post (Home home, BoolVar b, bool t, SetRelType srt, const SetExpr &e) const
	Post propagators for reified relation.
const SetExpr &	operator= (const SetExpr &e)
	Assignment operator.
	~SetExpr (void)
	Destructor.

Detailed Description

Set expressions

Definition at line 1187 of file minimodel.hh.

Member Enumeration Documentation

◆ NodeType

enum Gecode::SetExpr::NodeType

Type of set expression.

Enumerator
NT_VAR	Variable.
NT_CONST	Constant.
NT_LEXP	Linear expression.
NT_CMPL	Complement.
NT_INTER	Intersection.
NT_UNION	Union.
NT_DUNION	Disjoint union.

Definition at line 1190 of file minimodel.hh.

Constructor & Destructor Documentation

◆ SetExpr() [1/7]

Gecode::SetExpr::SetExpr ( void )

inline

Default constructor.

Definition at line 44 of file set-expr.hpp.

◆ SetExpr() [2/7]

Gecode::SetExpr::SetExpr ( const SetExpr & e )

Copy constructor.

◆ SetExpr() [3/7]

Gecode::SetExpr::SetExpr	(	const SetExpr &	l,
		NodeType	t,
		const SetExpr &	r )

Construct expression for type and subexpresssions.

◆ SetExpr() [4/7]

Gecode::SetExpr::SetExpr ( const SetVar & x )

Construct expression for variable.

◆ SetExpr() [5/7]

Gecode::SetExpr::SetExpr ( const LinIntExpr & x )

explicit

Construct expression for integer variable.

◆ SetExpr() [6/7]

Gecode::SetExpr::SetExpr ( const IntSet & s )

Construct expression for constant.

◆ SetExpr() [7/7]

Gecode::SetExpr::SetExpr	(	const SetExpr &	e,
		NodeType	t )

Construct expression for negation.

◆ ~SetExpr()

Gecode::SetExpr::~SetExpr ( void )

Destructor.

Member Function Documentation

◆ post() [1/3]

SetVar Gecode::SetExpr::post ( Home home ) const

Post propagators for expression.

◆ post() [2/3]

void Gecode::SetExpr::post	(	Home	home,
		SetRelType	srt,
		const SetExpr &	e ) const

Post propagators for relation.

◆ post() [3/3]

void Gecode::SetExpr::post	(	Home	home,
		BoolVar	b,
		bool	t,
		SetRelType	srt,
		const SetExpr &	e ) const

Post propagators for reified relation.

◆ operator=()

const SetExpr & Gecode::SetExpr::operator= ( const SetExpr & e )

Assignment operator.

The documentation for this class was generated from the following files:

gecode/minimodel.hh
gecode/minimodel/set-expr.hpp

Public Types

Public Member Functions