|
void | Gecode::Int::Cumulative::mul_check (long long int x, long long int y) |
| Throw exception if multiplication of x and y overflows.
|
void | Gecode::Int::Cumulative::mul_check (long long int x, long long int y, long long int z) |
| Throw exception if multiplication of x, y, and z overflows.
|
template<class Task> |
ExecStatus | Gecode::Int::Cumulative::subsumed (Space &home, Propagator &p, int c, TaskArray< Task > &t) |
| Check for subsumption (all tasks must be assigned)
|
template<class ManTask> |
ExecStatus | Gecode::Int::Cumulative::overload (Space &home, int c, TaskArray< ManTask > &t) |
| Check mandatory tasks t for overload.
|
template<class Task, class Cap> |
ExecStatus | Gecode::Int::Cumulative::timetabling (Space &home, Propagator &p, Cap c, TaskArray< Task > &t) |
| Perform time-tabling propagation.
|
template<class Task> |
ExecStatus | Gecode::Int::Cumulative::edgefinding (Space &home, int c, TaskArray< Task > &t) |
| Propagate by edge-finding.
|
template<class ManTask, class Cap> |
ExecStatus | Gecode::Int::Cumulative::cmanpost (Home home, Cap c, TaskArray< ManTask > &t, IntPropLevel ipl) |
| Post mandatory task propagator according to propagation level.
|
template<class OptTask, class Cap> |
ExecStatus | Gecode::Int::Cumulative::coptpost (Home home, Cap c, TaskArray< OptTask > &t, IntPropLevel ipl) |
| Post optional task propagator according to propagation level.
|