Test::Fault::ThrowingBrancher Class Reference

Public Member Functions
virtual bool	status (const Space &) const
	Check status of brancher, return true if alternatives left.
virtual const Choice *	choice (Space &)
	Return choice.
virtual const Choice *	choice (const Space &, Archive &)
	Return choice from e.
virtual ExecStatus	commit (Space &, const Choice &, unsigned int)
	Commit for choice c and alternative a.
virtual void	print (const Space &, const Choice &, unsigned int, std::ostream &) const
	Print branch for choice c and alternative a.
virtual Actor *	copy (Space &home)
	Create copy.
virtual size_t	dispose (Space &)
	Delete actor and return its size.
virtual NGL *	ngl (Space &home, const Choice &c, unsigned int a) const
	Create no-good literal for choice c and alternative a.
unsigned int	id (void) const
	Return brancher id.
BrancherGroup	group (void) const
	Return group brancher belongs to.
void	group (BrancherGroup g)
	Add brancher to group g.
virtual	~Actor (void)
	To avoid warnings.

Static Public Member Functions
static void	post (Home home)
static void *	operator new (size_t s, Space &home)
	Allocate memory from space.
static void	operator delete (void *p, Space &home)
	No-op for exceptions.
static void *	operator new (size_t s)
	Not used.
static void	operator delete (void *p)
	Not used.

Protected Member Functions
	ThrowingBrancher (Home home)
	ThrowingBrancher (Space &home, ThrowingBrancher &b)
Protected Member Functions inherited from Gecode::Brancher
	Brancher (Home home)
	Constructor for creation.
	Brancher (Space &home, Brancher &b)
	Constructor for cloning b.

Protected Attributes
bool	done

Detailed Description

Definition at line 156 of file fault.cpp.

Constructor & Destructor Documentation

ThrowingBrancher() [1/2]

Test::Fault::ThrowingBrancher::ThrowingBrancher ( Home home )

inlineprotected

Definition at line 159 of file fault.cpp.

ThrowingBrancher() [2/2]

Test::Fault::ThrowingBrancher::ThrowingBrancher ( Space & home, ThrowingBrancher & b )

inlineprotected

Definition at line 160 of file fault.cpp.

Member Function Documentation

post()

void Test::Fault::ThrowingBrancher::post ( Home home )

inlinestatic

Definition at line 165 of file fault.cpp.

status()

virtual bool Test::Fault::ThrowingBrancher::status ( const Space & home ) const

inlinevirtual

Check status of brancher, return true if alternatives left.

This method is called when Space::status is called, it determines whether to continue branching with this brancher or move on to the (possibly) next brancher.

Implements Gecode::Brancher.

Definition at line 168 of file fault.cpp.

choice() [1/2]

virtual const Choice * Test::Fault::ThrowingBrancher::choice ( Space & home )

inlinevirtual

Return choice.

Note that this method relies on the fact that it is called immediately after a previous call to status. Moreover, the member function can only be called once.

Implements Gecode::Brancher.

Definition at line 171 of file fault.cpp.

choice() [2/2]

virtual const Choice * Test::Fault::ThrowingBrancher::choice ( const Space & home, Archive & e )

inlinevirtual

Return choice from e.

Implements Gecode::Brancher.

Definition at line 174 of file fault.cpp.

commit()

virtual ExecStatus Test::Fault::ThrowingBrancher::commit ( Space & home, const Choice & c, unsigned int a )

inlinevirtual

Commit for choice c and alternative a.

The current brancher in the space home performs a commit from the information provided by the choice c and the alternative a.

Implements Gecode::Brancher.

Definition at line 177 of file fault.cpp.

print()

virtual void Test::Fault::ThrowingBrancher::print ( const Space & home, const Choice & c, unsigned int a, std::ostream & o ) const

inlinevirtual

Print branch for choice c and alternative a.

Prints an explanation of the alternative a of choice c on the stream o.

Reimplemented from Gecode::Brancher.

Definition at line 181 of file fault.cpp.

copy()

virtual Actor * Test::Fault::ThrowingBrancher::copy ( Space & home )

inlinevirtual

Create copy.

Implements Gecode::Actor.

Definition at line 183 of file fault.cpp.

dispose()

virtual size_t Test::Fault::ThrowingBrancher::dispose ( Space & home )

inlinevirtual

Delete actor and return its size.

Reimplemented from Gecode::Actor.

Definition at line 186 of file fault.cpp.

Member Data Documentation

done

bool Test::Fault::ThrowingBrancher::done

protected

Definition at line 158 of file fault.cpp.

---

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

• test/fault.cpp