Gecode::Int::LDSB::VariableSymmetryImp< View > Class Template Reference

Implementation of a variable symmetry. More...

#include <ldsb.hh>

List of all members.

Public Member Functions
	VariableSymmetryImp (Space &home, int *vs, unsigned int n)
	Constructor for creation.
	VariableSymmetryImp (Space &home, const VariableSymmetryImp< View > &other)
	Copy constructor.
virtual size_t	dispose (Space &home)
	Disposal.
void	update (Literal)
	Left-branch update.
virtual ArgArray< Literal >	symmetric (Literal, const ViewArray< View > &) const
	Compute symmetric literals.
SymmetryImp< View > *	copy (Space &home) const
	Copy function.
template<>
ArgArray< Literal >	symmetric (Literal l, const ViewArray< IntView > &x) const
template<>
ArgArray< Literal >	symmetric (Literal l, const ViewArray< BoolView > &x) const
template<>
ArgArray< Literal >	symmetric (Literal l, const ViewArray< Set::SetView > &x) const
Protected Attributes
Support::BitSetOffset< Space >	indices
	Symmetric variable indices.

---

Detailed Description

template<class View>
class Gecode::Int::LDSB::VariableSymmetryImp< View >

Implementation of a variable symmetry.

Definition at line 183 of file ldsb.hh.

---

Constructor & Destructor Documentation

template<class View >

Gecode::Int::LDSB::VariableSymmetryImp< View >::VariableSymmetryImp	(	Space &	home,
		int *	vs,
		unsigned int	n
	)			[inline]

Constructor for creation.

Definition at line 66 of file sym-imp.hpp.

template<class View >

Gecode::Int::LDSB::VariableSymmetryImp< View >::VariableSymmetryImp	(	Space &	home,
		const VariableSymmetryImp< View > &	other
	)			[inline]

Copy constructor.

Definition at line 90 of file sym-imp.hpp.

---

Member Function Documentation

template<class View >

size_t Gecode::Int::LDSB::VariableSymmetryImp< View >::dispose

(

Space &

home

)

[inline, virtual]

Disposal.

Implements Gecode::Int::LDSB::SymmetryImp< View >.

Definition at line 96 of file sym-imp.hpp.

template<class View >

void Gecode::Int::LDSB::VariableSymmetryImp< View >::update

(

Literal

l

)

[inline, virtual]

Left-branch update.

Implements Gecode::Int::LDSB::SymmetryImp< View >.

Definition at line 104 of file sym-imp.hpp.

template<class View>

virtual ArgArray<Literal> Gecode::Int::LDSB::VariableSymmetryImp< View >::symmetric	(	Literal	,
		const ViewArray< View > &
	)			const [virtual]

Compute symmetric literals.

Implements Gecode::Int::LDSB::SymmetryImp< View >.

template<class View >

SymmetryImp< View > * Gecode::Int::LDSB::VariableSymmetryImp< View >::copy

(

Space &

home

)

const [inline, virtual]

Copy function.

Implements Gecode::Int::LDSB::SymmetryImp< View >.

Definition at line 112 of file sym-imp.hpp.

template<>

ArgArray< Literal > Gecode::Int::LDSB::VariableSymmetryImp< IntView >::symmetric	(	Literal	l,
		const ViewArray< IntView > &	x
	)			const [inline]

Definition at line 40 of file sym-imp.cpp.

template<>

ArgArray< Literal > Gecode::Int::LDSB::VariableSymmetryImp< BoolView >::symmetric	(	Literal	l,
		const ViewArray< BoolView > &	x
	)			const [inline]

Definition at line 59 of file sym-imp.cpp.

template<>

ArgArray< Literal > Gecode::Int::LDSB::VariableSymmetryImp< Set::SetView >::symmetric	(	Literal	l,
		const ViewArray< Set::SetView > &	x
	)			const [inline]

Definition at line 57 of file sym-imp.cpp.

---

Member Data Documentation

template<class View>

Support::BitSetOffset<Space> Gecode::Int::LDSB::VariableSymmetryImp< View >::indices [protected]

Symmetric variable indices.

Definition at line 186 of file ldsb.hh.

---

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

• gecode/int/ldsb.hh
• gecode/int/ldsb/sym-imp.hpp