Generated on Thu Jul 6 07:06:52 2006 for Gecode by doxygen 1.4.7

scheduling.cc File Reference

(Revision: 3188)

#include "gecode/minimodel.hh"
#include <algorithm>

Go to the source code of this file.

Namespaces

namespace  Gecode

Functions

void Gecode::producer_consumer (Space *home, const IntVarArgs &produce_date, const IntArgs &produce_amount, const IntVarArgs &consume_date, const IntArgs &consume_amount, int initial, IntConLevel icl=ICL_DEF)
 Creates propagator for a producer-consumer constraint.
void Gecode::cumulative (Space *home, const IntVarArgs &start, const IntVarArgs &duration, const IntVarArgs &height, int limit, bool at_most=true, IntConLevel cl=ICL_DEF)
 Creates propagator for the cumulative constraint.
void Gecode::cumulative (Space *home, const IntVarArgs &start, const IntArgs &duration, const IntVarArgs &height, int limit, bool at_most=true, IntConLevel cl=ICL_DEF)
 Creates propagator for the cumulative constraint.
void Gecode::cumulative (Space *home, const IntVarArgs &start, const IntVarArgs &duration, const IntArgs &height, int limit, bool at_most=true, IntConLevel cl=ICL_DEF)
 Creates propagator for the cumulative constraint.
void Gecode::cumulative (Space *home, const IntVarArgs &start, const IntArgs &duration, const IntArgs &height, int limit, bool at_most=true, IntConLevel cl=ICL_DEF)
 Creates propagator for the cumulative constraint.
void Gecode::serialized (Space *home, const IntVarArgs &start, const IntVarArgs &duration, IntConLevel cl=ICL_DEF)
 Creates propagator for the serialized constraint.
void Gecode::serialized (Space *home, const IntVarArgs &start, const IntArgs &duration, IntConLevel cl=ICL_DEF)
 Creates propagator for the serialized constraint.

Variables

Space * home_
int val_


Variable Documentation

Space* home_

Definition at line 112 of file scheduling.cc.

int val_

Definition at line 113 of file scheduling.cc.