Test::BrancherHandle::TestSpace Class Reference

Test space. More...

List of all members.

Public Member Functions
	TestSpace (void)
	Constructor for creation.
	TestSpace (bool share, TestSpace &s)
	Constructor for cloning s.
Gecode::BrancherHandle	post (void)
	Post arbitrary brancher and return its handle.
virtual Space *	copy (bool share)
	Copy during cloning.
Protected Attributes
Gecode::IntVarArray	x
	An array of integer variables.

---

Detailed Description

Test space.

Definition at line 49 of file brancher-handle.cpp.

---

Constructor & Destructor Documentation

Test::BrancherHandle::TestSpace::TestSpace

(

void

)

[inline]

Constructor for creation.

Definition at line 55 of file brancher-handle.cpp.

Test::BrancherHandle::TestSpace::TestSpace	(	bool	share,
		TestSpace &	s
	)			[inline]

Constructor for cloning s.

Definition at line 57 of file brancher-handle.cpp.

---

Member Function Documentation

Gecode::BrancherHandle Test::BrancherHandle::TestSpace::post

(

void

)

[inline]

Post arbitrary brancher and return its handle.

Definition at line 61 of file brancher-handle.cpp.

virtual Space* Test::BrancherHandle::TestSpace::copy

(

bool

share

)

[inline, virtual]

Copy during cloning.

Implements Gecode::Space.

Definition at line 66 of file brancher-handle.cpp.

---

Member Data Documentation

Gecode::IntVarArray Test::BrancherHandle::TestSpace::x [protected]

An array of integer variables.

Definition at line 52 of file brancher-handle.cpp.

---

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

• test/brancher-handle.cpp (Revision: 13406)