Gecode::Scheduling Namespace Reference
Scheduling constraints and branchers More...
Namespaces | |
namespace | Cumulative |
Scheduling for cumulative resources | |
namespace | Cumulatives |
Cumulatives propagators | |
namespace | Unary |
Scheduling for unary resources | |
Classes | |
class | TaskViewTraits< Cumulative::ManFixPTaskFwd > |
Task view traits for forward task views. More... | |
class | TaskViewTraits< Cumulative::ManFixPTaskBwd > |
Task view traits for backward task views. More... | |
class | TaskViewTraits< Cumulative::ManFixPSETaskFwd > |
Task view traits for forward task views. More... | |
class | TaskViewTraits< Cumulative::ManFixPSETaskBwd > |
Task view traits for backward task views. More... | |
class | TaskViewTraits< Cumulative::OptFixPTaskFwd > |
Task view traits for forward optional task views. More... | |
class | TaskViewTraits< Cumulative::OptFixPTaskBwd > |
Task view traits for backward task views. More... | |
class | TaskViewTraits< Cumulative::OptFixPSETaskFwd > |
Task view traits for forward optional task views. More... | |
class | TaskViewTraits< Cumulative::OptFixPSETaskBwd > |
Task view traits for backward task views. More... | |
class | TaskViewTraits< Cumulative::ManFlexTaskFwd > |
Task view traits for forward task views. More... | |
class | TaskViewTraits< Cumulative::ManFlexTaskBwd > |
Task view traits for backward task views. More... | |
class | TaskViewTraits< Cumulative::OptFlexTaskFwd > |
Task view traits for forward optional task views. More... | |
class | TaskViewTraits< Cumulative::OptFlexTaskBwd > |
Task view traits for backward task views. More... | |
class | TaskTraits< Cumulative::ManFixPTask > |
Task traits for mandatory fixed tasks. More... | |
class | TaskTraits< Cumulative::ManFixPSETask > |
Task traits for mandatory fixed tasks. More... | |
class | TaskTraits< Cumulative::OptFixPTask > |
Task traits for optional fixed tasks. More... | |
class | TaskTraits< Cumulative::OptFixPSETask > |
Task traits for optional fixed tasks. More... | |
class | TaskTraits< Cumulative::ManFlexTask > |
Task traits for mandatory flexible tasks. More... | |
class | TaskTraits< Cumulative::OptFlexTask > |
Task traits for optional flexible tasks. More... | |
class | StoEst |
Sort by earliest start times. More... | |
class | StoEct |
Sort by earliest completion times. More... | |
class | StoLst |
Sort by latest start times. More... | |
class | StoLct |
Sort by latest completion times. More... | |
class | SortMap |
Sorting maps rather than tasks. More... | |
class | ManToOptTask |
Class to define an optional from a mandatory task. More... | |
class | FwdToBwd |
Task mapper: turns a task view into its dual. More... | |
class | TaskViewTraits |
Traits class for mapping task views to tasks. More... | |
class | TaskTraits |
Traits class for mapping tasks to task views. More... | |
class | TaskArray |
Task array. More... | |
class | TaskViewArray |
Task view array. More... | |
class | TaskViewIter |
Allows to iterate over task views according to a specified order. More... | |
class | ManTaskViewIter |
Allows to iterate over mandatory task views according to a specified order. More... | |
class | TaskTree |
Task trees for task views with node type Node. More... | |
class | TaskProp |
Propagator for tasks More... | |
class | TaskViewTraits< Unary::ManFixPTaskFwd > |
Task view traits for forward task views. More... | |
class | TaskViewTraits< Unary::ManFixPTaskBwd > |
Task view traits for backward task views. More... | |
class | TaskViewTraits< Unary::ManFixPSETaskFwd > |
Task view traits for forward task views. More... | |
class | TaskViewTraits< Unary::ManFixPSETaskBwd > |
Task view traits for backward task views. More... | |
class | TaskViewTraits< Unary::OptFixPTaskFwd > |
Task view traits for forward optional task views. More... | |
class | TaskViewTraits< Unary::OptFixPTaskBwd > |
Task view traits for backward task views. More... | |
class | TaskViewTraits< Unary::OptFixPSETaskFwd > |
Task view traits for forward optional task views. More... | |
class | TaskViewTraits< Unary::OptFixPSETaskBwd > |
Task view traits for backward task views. More... | |
class | TaskViewTraits< Unary::ManFlexTaskFwd > |
Task view traits for forward task views. More... | |
class | TaskViewTraits< Unary::ManFlexTaskBwd > |
Task view traits for backward task views. More... | |
class | TaskViewTraits< Unary::OptFlexTaskFwd > |
Task view traits for forward optional task views. More... | |
class | TaskViewTraits< Unary::OptFlexTaskBwd > |
Task view traits for backward task views. More... | |
class | TaskTraits< Unary::ManFixPTask > |
Task traits for mandatory fixed tasks. More... | |
class | TaskTraits< Unary::ManFixPSETask > |
Task traits for mandatory fixed tasks. More... | |
class | TaskTraits< Unary::OptFixPTask > |
Task traits for optional fixed tasks. More... | |
class | TaskTraits< Unary::OptFixPSETask > |
Task traits for optional fixed tasks. More... | |
class | TaskTraits< Unary::ManFlexTask > |
Task traits for mandatory flexible tasks. More... | |
class | TaskTraits< Unary::OptFlexTask > |
Task traits for optional flexible tasks. More... | |
Enumerations | |
enum | SortTaskOrder { STO_EST, STO_ECT, STO_LST, STO_LCT } |
How to sort tasks. More... | |
Functions | |
template<class Char , class Traits , class Task > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const TaskArray< Task > &t) |
template<class Char , class Traits , class TaskView > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const TaskViewArray< TaskView > &t) |
template<class OptTask , PropCond pc> | |
ExecStatus | purge (Space &home, Propagator &p, TaskArray< OptTask > &t) |
Purge optional tasks that are excluded and possibly rewrite propagator. | |
template<class TaskView , SortTaskOrder sto, bool inc> | |
void | sort (TaskViewArray< TaskView > &t) |
Sort task view array t according to sto and inc (increasing or decreasing). | |
template<class TaskView , SortTaskOrder sto, bool inc> | |
void | sort (int *map, const TaskViewArray< TaskView > &t) |
Initialize and sort map for task view array t according to sto and inc (increasing or decreasing). | |
template<class TaskView , SortTaskOrder sto, bool inc> | |
void | sort (int *map, int n, const TaskViewArray< TaskView > &t) |
Sort map with size n for task view array t according to sto and inc (increasing or decreasing). | |
int | plus (int x, int y) |
Safe addition in case x is -IntLimits::infinity. | |
double | plus (double x, double y) |
Safe addition in case x is -IntLimits::double_infinity. | |
double | div (double x, double y) |
Safe division in case x is -IntLimits::double_infinity. |
Detailed Description
Scheduling constraints and branchers
Enumeration Type Documentation
Function Documentation
template<class Char , class Traits , class Task >
std::basic_ostream<Char,Traits>& Gecode::Scheduling::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const TaskArray< Task > & | t | |||
) | [related] |
template<class Char , class Traits , class TaskView >
std::basic_ostream<Char,Traits>& Gecode::Scheduling::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const TaskViewArray< TaskView > & | t | |||
) | [related] |
template<class OptTask , PropCond pc>
ExecStatus Gecode::Scheduling::purge | ( | Space & | home, | |
Propagator & | p, | |||
TaskArray< OptTask > & | t | |||
) |
Purge optional tasks that are excluded and possibly rewrite propagator.
template<class TaskView , SortTaskOrder sto, bool inc>
void Gecode::Scheduling::sort | ( | TaskViewArray< TaskView > & | t | ) | [inline] |
Sort task view array t according to sto and inc (increasing or decreasing).
template<class TaskView , SortTaskOrder sto, bool inc>
void Gecode::Scheduling::sort | ( | int * | map, | |
const TaskViewArray< TaskView > & | t | |||
) | [inline] |
Initialize and sort map for task view array t according to sto and inc (increasing or decreasing).
template<class TaskView , SortTaskOrder sto, bool inc>
void Gecode::Scheduling::sort | ( | int * | map, | |
int | n, | |||
const TaskViewArray< TaskView > & | t | |||
) | [inline] |
Sort map with size n for task view array t according to sto and inc (increasing or decreasing).
int Gecode::Scheduling::plus | ( | int | x, | |
int | y | |||
) | [inline] |
Safe addition in case x is -IntLimits::infinity.
double Gecode::Scheduling::plus | ( | double | x, | |
double | y | |||
) | [inline] |
Safe addition in case x is -IntLimits::double_infinity.
double Gecode::Scheduling::div | ( | double | x, | |
double | y | |||
) | [inline] |
Safe division in case x is -IntLimits::double_infinity.