사용자 정의 경로 표현식에서 라이트 중복 방지

고유한 LPE를 만들고 이를 합성하려면 라이트 효과를 누락시키지 않는 것이 중요한 것이 아니라 라이트 효과가 이중으로 적용되지 않도록 하는 것이 중요합니다.

이를 방지할 수 있는 방법이 있습니다. LPE 세트가 있는 경우 & 연산자를 사용하여 이러한 LPE를 연결하는 새 LPE를 만듭니다. 결과는 검은색으로 나타납니다. 일부 라이트가 이러한 LPE 중 둘 이상에 잘못 들어 있는 경우 이 연결된 LPE에 표시됩니다. 따라서 a, b, c라는 세 개의 LPE가 있다고 가정할 경우 다음과 같은 테스트 LPE 그룹을 작성하여

(a) & ((b) | (c))
(b) & ((a) | (c))
(c) & ((a) | (b))

공통된 라이트가 있는지 확인할 수 있습니다. 각 테스트 결과는 검정색이어야 합니다. 결과가 검정색이 아닌 경우 요소 합성 시 올바른 결과로 합해지지 않습니다.

올바른 순서로 평가하려면 반드시 괄호를 사용해야 합니다.

마찬가지로 | 연산자를 사용하여 모든 LPE를 결합하고 반전시킨 후 이를 가능한 모든 라이트와 &로 연결하여 "나머지" 라이트 효과를 확인할 수 있습니다. 따라서 위 예의 경우 결합된 LPE는 다음과 같습니다.

L.*E & ^((a) | (b) | (c))

이 표현식은 가능한 모든 라이트 경로(L.*E)를 가져와 a, b, c LPE 중에 없는 라이트 경로만 선택합니다.