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