Cars Class Reference
[Example scripts (models)]
Inherits Example.
Detailed Description
Example: Car sequencingSchedule 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 | |
BoolVar & | o (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 Space * | copy (bool share) |
Copying member function. | |
virtual void | print (void) |
Constructor & Destructor Documentation
Member Function Documentation
void Cars::ele | ( | const IntArgs & | l, | |
int | i, | |||
int | j, | |||
int | k | |||
) | [inline] |
virtual Space* Cars::copy | ( | bool | share | ) | [inline, virtual] |
Copying member function.
Must create a new object using the constructor for cloning.
Implements Gecode::Space.
virtual void Cars::print | ( | void | ) | [inline, virtual] |
Friends And Related Function Documentation
IntArgs l1 | ( | 6 | , | |
1 | , | |||
0 | , | |||
0 | , | |||
0 | , | |||
1 | , | |||
1 | ||||
) | [related] |
IntArgs l2 | ( | 6 | , | |
0 | , | |||
0 | , | |||
1 | , | |||
1 | , | |||
0 | , | |||
1 | ||||
) | [related] |
IntArgs l3 | ( | 6 | , | |
1 | , | |||
0 | , | |||
0 | , | |||
0 | , | |||
1 | , | |||
0 | ||||
) | [related] |
IntArgs l4 | ( | 6 | , | |
1 | , | |||
1 | , | |||
0 | , | |||
1 | , | |||
0 | , | |||
0 | ||||
) | [related] |
IntArgs l5 | ( | 6 | , | |
0 | , | |||
0 | , | |||
1 | , | |||
0 | , | |||
0 | , | |||
0 | ||||
) | [related] |
The documentation for this class was generated from the following file:
- examples/cars.cc (Revision: 2376)