main page modules namespaces classes files
Gecode home

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
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

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	(	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)