Gecode의 공간에서 변수 목록 가져 오기

Question

Gecode는 진행중인 제약 조건 만족 문제를 나타 내기 위해 Space을 사용합니다. 결정 지점에 도달 할 때마다 Space이 복사됩니다.

진행중인 공간에 대한 분석을 수행하고 싶습니다. 특정 Space에 등록 된 변수, 제약 조건 목록을 얻는 방법이 있습니까? API 문서는 그러한 메소드를 제공하지 않는 것 같습니다.

Answer 1

현재 현재 공간에있는 모든 변수와 전파자를 나열하는 일반적인 방법은 없습니다. 게다가 그러한 뷰는 거의 필요한 것이 아니며, 여전히 활성 변수와 전파자 세트는 의미있는 방식으로 모델을 설정할 때 생성 된 원래의 변수 및 전파 자 세트와 닮지 않을 수 있습니다.

보조 노트 Gecode는 전체 복사를 사용하지 않고 간헐 복사 기능이있는 재 계산 기반 시스템입니다. 그러므로 "결정 시점에 도달 할 때마다 공간이 복사됩니다."라고 말하는 것은 정확하지 않습니다. Modeling and Programming with Gecode의 9.1 장 참조.