Generated on Fri Oct 19 11:26:37 2018 for Gecode by doxygen 1.6.3

Test::Search::TestSpace Class Reference

Space with information. More...

List of all members.

Public Member Functions

 TestSpace (void)
 Constructor for space creation.
 TestSpace (TestSpace &s)
 Constructor for cloning s.
virtual int solutions (void) const =0
 Return number of solutions.
virtual bool best (void) const =0
 Verify that this is best solution.
virtual bool master (const MetaInfo &mi)
 Master configuration function that does not restart.

Detailed Description

Space with information.

Definition at line 72 of file search.cpp.


Constructor & Destructor Documentation

Test::Search::TestSpace::TestSpace ( void   )  [inline]

Constructor for space creation.

Definition at line 75 of file search.cpp.

Test::Search::TestSpace::TestSpace ( TestSpace s  )  [inline]

Constructor for cloning s.

Definition at line 77 of file search.cpp.


Member Function Documentation

virtual int Test::Search::TestSpace::solutions ( void   )  const [pure virtual]

Return number of solutions.

Implemented in Test::Search::FailImmediate, Test::Search::SolveImmediate, and Test::Search::HasSolutions.

virtual bool Test::Search::TestSpace::best ( void   )  const [pure virtual]

Verify that this is best solution.

Implemented in Test::Search::FailImmediate, Test::Search::SolveImmediate, and Test::Search::HasSolutions.

virtual bool Test::Search::TestSpace::master ( const MetaInfo mi  )  [inline, virtual]

Master configuration function that does not restart.

Reimplemented from Gecode::Space.

Reimplemented in Test::Search::HasSolutions.

Definition at line 83 of file search.cpp.


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