lazhen
2024-11-14 7c445b476a69ee8083a0e5733565e13dc8c0d109
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
Quintiq file version 2.0
#parent: #root
Function CalcIsLeadTimeAmongOperationsUnique
{
  TextBody:
  [*
    // since all lead times are expected to be unique ( for sanity check ), simply take the LeadTime of the firstOperation and check that all operations have 
    // that lead time
    firstOperation := this.FirstOperation();
    initalLeadTime := guard( firstOperation.LeadTime(), Duration::Zero() );
    value := forall( this, Operation, operation, operation.LeadTime() = initalLeadTime );
    
    this.IsLeadTimeAmongOperationsUnique( value );
  *]
}