Terms for subject Programming containing отображение ограничения

Russian	English
отображение позиций во временные ограничения	mapping from locations to clock constraints (ssn)
отображение позиций во временные ограничения, называемое инвариантом позиций	mapping from locations to clock constraints, called the location invariant (ssn)