Generated on Thu Feb 14 2013 20:59:52 for Gecode by doxygen 1.8.3.1
CarSequencing Class Reference

Example: Car sequencing More...

Public Types

enum  { SEARCH_BAB, SEARCH_RESTART }
 Search variants. More...
 
enum  { BRANCH_INORDER, BRANCH_MIDDLE }
 Branching variants. More...
 
enum  { PROP_REGULAR, PROP_CUSTOM }
 Propagation variants. More...
 

Public Member Functions

 CarSequencing (const CarOptions &opt)
 Initial model. More...
 
virtual void constrain (const Space &_best)
 Return cost. More...
 
virtual void print (std::ostream &os) const
 Print solution. More...
 
 CarSequencing (bool share, CarSequencing &cs)
 Constructor for cloning s. More...
 
virtual Spacecopy (bool share)
 Copy during cloning. More...
 
- Public Member Functions inherited from Gecode::Driver::ScriptBase< BaseSpace >
 ScriptBase (void)
 Default constructor. More...
 
 ScriptBase (bool share, ScriptBase &e)
 Constructor used for cloning. More...
 
virtual void compare (const Space &, std::ostream &os) const
 Compare with s. More...
 
template<class Script , template< class > class Engine, class Options >
void run (const Options &o)
 

Protected Attributes

const int problem
 Problem number. More...
 
const int ncars
 Number of cars. More...
 
const int noptions
 Number of options. More...
 
const int nclasses
 Number of classes. More...
 
const int maxstall
 Maximum number of stalls. More...
 
const int stallval
 Stall number. More...
 
const int endval
 End number. More...
 
IntVar nstall
 Number of stalls (cost to minimize) More...
 
IntVar nend
 Number of end markers. More...
 
IntVarArray s
 Sequence of cars produced. More...
 

Related Functions

(Note that these are not member functions.)

int main (int argc, char *argv[])
 Main-function. More...
 

Additional Inherited Members

- Static Public Member Functions inherited from Gecode::Driver::ScriptBase< BaseSpace >
template<class Script , template< class > class Engine, class Options >
static void run (const Options &opt)
 

Detailed Description

Example: Car sequencing

See problem 1 at http://www.csplib.org/.

This model uses extra stall-slots instead of violations, as proposed in "Combining Forces to Solve the Car Sequencing Problem", Perron and Shaw, CPAIOR 2004.

Definition at line 212 of file car-sequencing.cpp.

Member Enumeration Documentation

anonymous enum

Search variants.

Enumerator
SEARCH_BAB 

Use branch and bound to optimize.

SEARCH_RESTART 

Use restart to optimize.

Definition at line 215 of file car-sequencing.cpp.

anonymous enum

Branching variants.

Enumerator
BRANCH_INORDER 

Branch from left to right.

BRANCH_MIDDLE 

Branch from middle out.

Definition at line 220 of file car-sequencing.cpp.

anonymous enum

Propagation variants.

Enumerator
PROP_REGULAR 

Use regular constraints.

PROP_CUSTOM 

Use custom constraint.

Definition at line 225 of file car-sequencing.cpp.

Constructor & Destructor Documentation

CarSequencing::CarSequencing ( const CarOptions &  opt)
inline

Initial model.

Definition at line 252 of file car-sequencing.cpp.

CarSequencing::CarSequencing ( bool  share,
CarSequencing cs 
)
inline

Constructor for cloning s.

Definition at line 405 of file car-sequencing.cpp.

Member Function Documentation

virtual void CarSequencing::constrain ( const Space _best)
inlinevirtual

Return cost.

Definition at line 375 of file car-sequencing.cpp.

virtual void CarSequencing::print ( std::ostream &  os) const
inlinevirtual

Print solution.

Reimplemented from Gecode::Driver::ScriptBase< BaseSpace >.

Definition at line 382 of file car-sequencing.cpp.

virtual Space* CarSequencing::copy ( bool  share)
inlinevirtual

Copy during cloning.

Definition at line 421 of file car-sequencing.cpp.

Friends And Related Function Documentation

int main ( int  argc,
char *  argv[] 
)
related

Main-function.

Definition at line 430 of file car-sequencing.cpp.

Member Data Documentation

const int CarSequencing::problem
protected

Problem number.

Definition at line 231 of file car-sequencing.cpp.

const int CarSequencing::ncars
protected

Number of cars.

Definition at line 233 of file car-sequencing.cpp.

const int CarSequencing::noptions
protected

Number of options.

Definition at line 235 of file car-sequencing.cpp.

const int CarSequencing::nclasses
protected

Number of classes.

Definition at line 237 of file car-sequencing.cpp.

const int CarSequencing::maxstall
protected

Maximum number of stalls.

Definition at line 239 of file car-sequencing.cpp.

const int CarSequencing::stallval
protected

Stall number.

Definition at line 241 of file car-sequencing.cpp.

const int CarSequencing::endval
protected

End number.

Definition at line 243 of file car-sequencing.cpp.

IntVar CarSequencing::nstall
protected

Number of stalls (cost to minimize)

Definition at line 245 of file car-sequencing.cpp.

IntVar CarSequencing::nend
protected

Number of end markers.

Definition at line 247 of file car-sequencing.cpp.

IntVarArray CarSequencing::s
protected

Sequence of cars produced.

Definition at line 249 of file car-sequencing.cpp.


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