2011-04-23 2 views

답변

4

이 매개 변수는 각 인수가 입력시 인스턴스화되어야하는지 또는 해당 술어에서 리턴시 인스턴스화되는지 여부를 표시합니다.

  • '+'는 해당 술어를 호출 할 때 인수가 인스턴스화되어야 함을 의미합니다.
  • 이 '-'노조 술어에 대한 술어

에서 반환 할 때 인수 반환 인스턴스화 것을 의미합니다, 당신은 인스턴스화 Set1과와 Set2를 함께 호출해야하고, 반환에 SET3는 인스턴스화됩니다.

+0

+1. 완전성을 위해 변수의 인스턴스화 된 상태에서 인스턴스화되지 않은 상태를 * 모드 * (유형과 직교 함)라고 부르기 때문에 * 모드 주석 *이라고합니다. –