누구든지 커드 패키지에 좋은 자료를 가리킬 수 있습니다. 나는 여기서 간결한 문제를 찾고있다. http://vlsi.colorado.edu/~fabio/CUDD/에있는 것은이 문제에 대해 좋은 소개를하지 못하는 것 같습니다. BDD 및 그 응용과 관련된 비디오 강의는 언제나 환영합니다. 감사와 관련
BDD 조작을 위해 CUDD 패키지를 사용하고 있습니다. DdManager라는 큰 데이터 구조의 복사본을 만들고 싶습니다. 문제는 :이 데이터 구조 안에 포인터가 너무 많아서 직접 복사를하면 "얕은"복사본 (일부는 용어를 사용함)이됩니다. 즉, 새로운 복사 점의 포인터가 같은 위치로 향하게됩니다 ~에 대한 원본 복사본에 의해, 그래서 내가 그들 중 누구에게