Test::Int::Distinct::Pathological::TestSpace Class Reference

Test space More...

List of all members.

Public Member Functions
	TestSpace (void)
	Constructor.
	TestSpace (bool share, TestSpace &s)
	Constructor for cloning s.
virtual Gecode::Space *	copy (bool share)
	Copy space during cloning.

---

Detailed Description

Test space

Definition at line 149 of file distinct.cpp.

---

Constructor & Destructor Documentation

Test::Int::Distinct::Pathological::TestSpace::TestSpace

(

void

)

[inline]

Constructor.

Definition at line 152 of file distinct.cpp.

Test::Int::Distinct::Pathological::TestSpace::TestSpace	(	bool	share,
		TestSpace &	s
	)			[inline]

Constructor for cloning s.

Definition at line 154 of file distinct.cpp.

---

Member Function Documentation

virtual Gecode::Space* Test::Int::Distinct::Pathological::TestSpace::copy

(

bool

share

)

[inline, virtual]

Copy space during cloning.

Implements Gecode::Space.

Definition at line 157 of file distinct.cpp.

---

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

• test/int/distinct.cpp (Revision: 12394)