scheduling.cc File Reference
(Revision: 3584)
#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
|
Definition at line 99 of file scheduling.cc. |
|
Definition at line 100 of file scheduling.cc. |