※ 안녕하십니까..?
저희 KSTEC의 제품이나 서비스에 대해 궁금하신 점이나 기술지원을 원하시는 고객님은 회사명,
부서명, 성명, 사용제품명, 제품 VERSION을 명시하여 주시기 바랍니다.
※ 게시하신 내용에 대해서는 신속하게 답변해 드리겠습니다.
※ 해당되는 제품군을 선택하신 후 하고 싶으신 말씀을 적어 주십시오.
제 목
[RE] Reversiblity...
작성자
유환주
작성일
2002-01-30
조회수
1303 회
첨부파일
첨부된 파일없음.
:Reversiblity에 대하여: : :ILOG Solver 객체는 Reversiblity가 모두 보장이 됩니다. (IlcInt는 ILOG Solver 객체가 아니고 C++ long을 재 정의한 것 입니다) :Reversiblity가 보장된다는 의미는 변수의 Domain을 변경하는 경우 Backtracking이 일어나면 이전 수준으로 복구 된다는 의미 입니다. 따라서 SetObject()와 같은 함수 호출은 당여히 복구가 되지 않을 것 입니다. : :매뉴얼을 보면..., :1. \"All Solver functions and member functions are reversible functions unless otherwise documented\" :2. \"Functions that use only reversible assignments are called reversible functions.\" : :-> SetObject()는 멤버함수인데 domain과 무관하기 때문에 되지 않으며, SetObject()를 이용하거나 혹은 Ilc(Ilo)Int를 이용한 값의 할당은 reversible assignments이 아니다란 뜻인가요? Reversible Assignments...?
이해하신 대로 입니다. Domain Reduction & Constraint Propagation에 영향을 주는 함수들 만 Reversible 입니다. 다시 말씀 드리지만 Ilc(Ilo)Int는 ILOG 객체가 아니므로 Reversible Assignment가 되지 않습니다. Reversible Assignment를 하시려면 IlcRevInt를 사용하세요. 이건 ILOG 객체이므로 Backtracing하면 복구 됩니다.
아주 깊숙하긴 하지만 기초적인 개념들을 정확히 짚고 있지 못한 부분 들이 있는 것 같군요. 저희가 정기적인 교육을 하고 있으니 교육을 받는 것이 좋을 듯 합니다.
