Test::Fault::ThrowingChoice Class Reference

Public Member Functions
	ThrowingChoice (const Brancher &b)
virtual void	archive (Archive &e) const
	Archive into e.
Public Member Functions inherited from Gecode::Choice
unsigned int	alternatives (void) const
	Return number of alternatives.
virtual	~Choice (void)
	Destructor.

Additional Inherited Members
Static Public Member Functions inherited from Gecode::HeapAllocated
static void *	operator new (size_t s)
	Memory management.
static void	operator delete (void *p)
	Free memory allocated from heap.
Protected Member Functions inherited from Gecode::Choice
	Choice (const Brancher &b, const unsigned int a)
	Initialize for particular brancher b and alternatives a.

Detailed Description

Definition at line 148 of file fault.cpp.

Constructor & Destructor Documentation

ThrowingChoice()

Test::Fault::ThrowingChoice::ThrowingChoice ( const Brancher & b )

inline

Definition at line 150 of file fault.cpp.

Member Function Documentation

archive()

virtual void Test::Fault::ThrowingChoice::archive ( Archive & e ) const

inlinevirtual

Archive into e.

Reimplemented from Gecode::Choice.

Definition at line 151 of file fault.cpp.

---

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

• test/fault.cpp