Generated on Wed Nov 1 15:04:51 2006 for Gecode by doxygen 1.4.5

Cars Class Reference
[Example scripts (models)]

Inherits Example.

List of all members.


Detailed Description

Example: Car sequencing

Schedule a sequence of cars to be produced. This is problem 001 from csplib.

Definition at line 45 of file cars.cc.

Machine capabilities

IntArgs l1 (6, 1, 0, 0, 0, 1, 1)
IntArgs l2 (6, 0, 0, 1, 1, 0, 1)
IntArgs l3 (6, 1, 0, 0, 0, 1, 0)
IntArgs l4 (6, 1, 1, 0, 1, 0, 0)
IntArgs l5 (6, 0, 0, 1, 0, 0, 0)

Public Member Functions

BoolVaro (int i, int j)
void atmost (int n, int m)
void ele (const IntArgs &l, int i, int j, int k)
void sum (int n, BoolVar &b0, BoolVar &b1)
void sum (int n, BoolVar &b0, BoolVar &b1, BoolVar &b2)
void sum (int n, BoolVar &b0, BoolVar &b1, BoolVar &b2, BoolVar &b3, BoolVar &b4)
 Cars (const Options &)
 Cars (bool share, Cars &s)
virtual Spacecopy (bool share)
 Copying member function.
virtual void print (void)


Constructor & Destructor Documentation

Cars::Cars const Options  )  [inline]
 

Definition at line 82 of file cars.cc.

Cars::Cars bool  share,
Cars s
[inline]
 

Definition at line 134 of file cars.cc.


Member Function Documentation

BoolVar& Cars::o int  i,
int  j
[inline]
 

Definition at line 50 of file cars.cc.

void Cars::atmost int  n,
int  m
[inline]
 

Definition at line 55 of file cars.cc.

void Cars::ele const IntArgs l,
int  i,
int  j,
int  k
[inline]
 

Definition at line 59 of file cars.cc.

void Cars::sum int  n,
BoolVar b0,
BoolVar b1
[inline]
 

Definition at line 63 of file cars.cc.

void Cars::sum int  n,
BoolVar b0,
BoolVar b1,
BoolVar b2
[inline]
 

Definition at line 69 of file cars.cc.

void Cars::sum int  n,
BoolVar b0,
BoolVar b1,
BoolVar b2,
BoolVar b3,
BoolVar b4
[inline]
 

Definition at line 75 of file cars.cc.

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

Copying member function.

Must create a new object using the constructor for cloning.

Implements Gecode::Space.

Definition at line 141 of file cars.cc.

virtual void Cars::print void   )  [inline, virtual]
 

Reimplemented from Example.

Definition at line 146 of file cars.cc.


Friends And Related Function Documentation

IntArgs l1 ,
,
,
,
,
,
[related]
 

IntArgs l2 ,
,
,
,
,
,
[related]
 

IntArgs l3 ,
,
,
,
,
,
[related]
 

IntArgs l4 ,
,
,
,
,
,
[related]
 

IntArgs l5 ,
,
,
,
,
,
[related]
 


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