陈清红
2025-04-14 880f3c0257eeb8c37761d484258fdd102a369a19
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 );
  *]
}