Generated on Thu Mar 22 10:39:51 2012 for Gecode by doxygen 1.6.3

CarSequencing Class Reference
[Example scripts (models)]

Example: Car sequencing More...

List of all members.

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.
virtual void constrain (const Space &_best)
 Return cost.
virtual void print (std::ostream &os) const
 Print solution.
 CarSequencing (bool share, CarSequencing &cs)
 Constructor for cloning s.
virtual Spacecopy (bool share)
 Copy during cloning.

Protected Attributes

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

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  )  [inline, virtual]

Return cost.

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

virtual void CarSequencing::print ( std::ostream &  os  )  const [inline, virtual]

Print solution.

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

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

virtual Space* CarSequencing::copy ( bool  share  )  [inline, virtual]

Copy during cloning.

Definition at line 421 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.

Number of stalls (cost to minimize).

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

Number of end markers.

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

Sequence of cars produced.

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


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