게시판 인덱스

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

Restrict 처리에 대한 질문

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



가입: 2007년 9월 27일
올린 글: 231

올리기올려짐: 2009년4월22일 11:52    주제: Restrict 처리에 대한 질문 인용과 함께 답변

숙제에 보면

조건문 속으로 진입할 때 사용하는 Restrict, Nrestrict 말이죠.

조건을 검사하고 걸러내는 부분이 없는 것 같은데

어떻게 구현해야 하나요??
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
공순호



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

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

* 문제

질문한 경우는 evalRhs : solution -> rhs -> state 함수를 구현할 때에
rhs가 Restrict(rhs, exp) / Nrestrict(rhs, exp)인 경우에 대한 것입니다.

우리가 하고자하는 일은 solution에서 rhs가 의미하는 state에 대해서
exp을 true/false로 만드는 것들만을 포함하는 새로운 state를 만들어내는 일입니다.

이를 구현하기 위해서는 다음과 같은 type의 함수가 필요하게 됩니다.
코드:

restrict : state -> exp -> state
nrestrict : state -> exp -> state


하지만 숙제 스펙과 제공되는 뼈대를 살펴보아도 위의 역할을 하는 함수가 제공되지 않습니다.

* 해법

이번 숙제에서는 restrict/nrestrict의 의미가
코드:

restrict state exp = state
nrestrict state exp = state

가 되도록 구현하시면 됩니다.

즉, Restrict / Nrestrict의 exp에 의해서 state가 변화하지 않습니다.

* 참고

위와 같은 구현은 틀린 구현이 아닙니다. 우리가 포함해야할 정보들은 빠뜨리지 않기 때문입니다.
단지 그것보다 많은 정보가 들어가게 되었을 뿐입니다.
_________________
- 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