효율적인 병합 작업을 지원하고 정의된 순회 순서가 있는 특수화된 데이터 구조입니다. 일반적으로 규칙 및 측면의 전이 종속 항목에서 데이터를 누적하는 데 사용됩니다. 자세한 내용은 여기를 참고하세요.
depset의 요소는 해싱 가능해야 하며 모두 동일한 유형 (기본 제공 type(x) 함수에 의해 정의됨)이어야 하지만 depset은 단순히 해시 집합이 아니며 빠른 멤버십 테스트를 지원하지 않습니다. 일반적인 집합 데이터 유형이 필요한 경우 모든 키가 True
에 매핑되는 사전을 사용하여 시뮬레이션할 수 있습니다.
Depset은 변경할 수 없습니다. 생성자 함수를 사용하여 만들고 transitive
인수를 통해 다른 depset과 병합하거나 확장해야 합니다.
order
매개변수는 depset을 반복 가능한 것으로 변환하기 위해 실행되는 탐색의 종류를 결정합니다. 가능한 값은 다음과 같습니다.
"default"
(이전"stable"
): 순서가 지정되지 않았지만 결정론적입니다."postorder"
(이전"compile"
): 왼쪽에서 오른쪽으로 순서 지정합니다. 정확히 말하자면, 이 메서드는 모든 하위 요소를 왼쪽에서 오른쪽으로 먼저 순회한 다음 직계 요소를 왼쪽에서 오른쪽으로 먼저 순회합니다."preorder"
(이전"naive_link"
): 왼쪽에서 오른쪽으로 사전 순서 지정 정확히 말하자면, 이 방법은 직접 요소를 왼쪽에서 오른쪽으로 먼저 탐색한 다음 하위 요소를 왼쪽에서 오른쪽으로 먼저 재귀적으로 탐색합니다."topological"
(이전의"link"
): 루트에서 리프까지의 순서입니다. 왼쪽에서 오른쪽으로 표시된다는 보장은 없습니다.
두 depset은 두 depset의 순서가 모두 같거나 그중 하나의 순서가 "default"
인 경우에만 병합할 수 있습니다. 후자의 경우 결과 depset의 순서는 다른 depset의 순서와 동일합니다.
Depset에는 중복 값이 포함될 수 있지만 반복 시 (to_list()
사용) 이러한 값은 억제됩니다. 중복 값은 순서 시맨틱을 방해할 수 있습니다.
회원
to_list
list depset.to_list()
"default"
순서가 지정된 depset과 순서가 상위 depset의 순서와 다른 하위 depset의 요소에는 순서가 지정되지 않습니다. 이 목록은 사본입니다. 목록을 수정해도 depset에 영향을 미치지 않으며 그 반대의 경우도 마찬가지입니다.