Originally posted by: Wahiba123

Hello every body, I am using next cited OPL function and i want to know its mathematical formula please:

noOverlap(sequence);

endBeforeStrat(interval_i,interval_i+1);

TypeOfPrev(sequence_i,interval_i,b)==TypeOfPrev(sequence₀,interval₀,b);

ForbidStrat(interval,stepFunction);

ForbidEnd(interval,stepFunction);

Thanks in advance.

Hi

have you had a look at

IDE and OPL > Optimization Programming Language (OPL) > Language Quick Reference > OPL functions

in documentation ?

regards

Originally posted by: Wahiba123

I had have a look, but there is no mathematical description for the functions, I need help on the way to write them mathematically. Thanks

Originally posted by: ChrisBr

Hello Wahiba,

Could this help you?

Interval variables in CP Optimizer
Basic constraints on interval variables in CP Optimizer
Interval variable sequencing in CP Optimizer

Best regards,

Chris.