게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

숙제 6 버그 레포트: IntervalDomain, IntSetDomain의 update

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2009)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
강지훈



가입: 2008년 9월 2일
올린 글: 291
위치: 302동 312-2호

올리기올려짐: 2009년4월20일 2:28    주제: 숙제 6 버그 레포트: IntervalDomain, IntSetDomain의 update 인용과 함께 답변

[interval, intSet]
let update t loc v = match t with
BOT -> MAP(FMap.add loc v FMap.empty)
| MAP m -> MAP(FMap.mapi
(fun l v -> if l = loc then v else FMap.find l m)
m)
| TOP -> TOP

[sign]
let update t loc v = match t with
BOT -> MAP(FMap.add loc v FMap.empty)
| MAP m -> MAP(FMap.add loc v m)
| TOP -> TOP

sign처럼 바꿔야 할거 같습니다.


--
그나저나 뼈대 코드 읽어보는 것만 해도 ㅎㄷㄷ해요 ㅜㅜ
조교님 감사합니다.
_________________
강지훈
프로그래밍의 원리 조교

Jeehoon Kang
TA, Principles of Programming
위로
사용자 정보 보기 비밀 메시지 보내기
공순호



가입: 2005년 9월 29일
올린 글: 363
위치: 302동 312-2호

올리기올려짐: 2009년4월20일 8:29    주제: 인용과 함께 답변

업데이트된 뼈대를 참조하세요, 자세한 사항은 공지에 적어두었습니다.
_________________
- soon@ropas
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2009) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay