설명

이 테스트는 다음을 확인합니다

1) 무료 슬롯는 일반/전체 도메인 정보를 언로드합니다.
   다른 모든 경우에는 인수가 없고 도메인 정보가 완화되었습니다.
2) 일반 도메인과 완화된 도메인에서 도메인 매칭이 작동하는지 확인하세요.
   p의 선언을 정의하는 도메인과 동일한 결과를 얻습니다.
기고자: Michael Bussieck, 2021년 1월

소형 모델 유형 :무료 슬롯

카테고리 : 무료 슬롯 테스트 라이브러리

메인 파일 : unload13.gms

$title '완화 및 전체 도메인으로 언로드' (UNLOAD13,SEQ=846)

$onText
이 테스트는 다음을 확인합니다.

1) 무료 슬롯는 일반/전체 도메인 정보를 언로드합니다.
   다른 모든 경우에는 인수가 없고 도메인 정보가 완화되었습니다.
2) 일반 도메인과 완화된 도메인에서 도메인 매칭이 작동하는지 확인하세요.
   p의 선언을 정의하는 도메인과 동일한 결과를 얻습니다.
기고자: Michael Bussieck, 2021년 1월
$offText

i /i1,i2/를 설정합니다. 매개변수 p(i) / i1 1, i2 2/; 별칭(j,i); 
$gdxOut ulrelaxed
$unLoad j
$unLoad i
$unLoadp
$gdx아웃
$onEcho > 예상됨
SynNr 유형 DomInf 기호
   1 설정 없음 i(*)
   2 별칭 없음 j(*)
   3파 릴렉스드 p(i)
$offEcho
$call.checkErrorLevel gdxdump ulrelaxed.gdx domaininfo > 실제
$call.checkErrorLevel diff 실제 예상 > %system.nullFile%

$gdxOut 가득 참
$unLoad
$gdx아웃

$onEcho > 예상됨
SynNr 유형 DomInf 기호
   1 설정 없음 i(*)
   3 별칭 없음 j(*)
   2파 레귤러 p(i)
$offEcho
$call.checkErrorLevel gdxdump ulfull.gdx domaininfo > 실제 
$call.checkErrorLevel diff 실제 예상 > %system.nullFile%

$onMultiR
$clear 나는
$gdxIn 울릴렉스됨
$load 나<p
편안하게 설정 / #i /;

$clear 나는
$gdxIn ulfull
$load 나<p
iffull / #i / 설정;

ddd를 설정하십시오. 매개변수 pddd(ddd<);
$gdxIn 울릴렉스됨
$로드 pddd=p

abort$(card(irelaxed)<>2) 'wrong irelaxed', irelaxed;
abort$(card(iffull) <>2) '잘못된 ifull', ifull;
abort$(card(ddd) <>2) '잘못된 ddd', ddd;

스칼라 cnt /0/;
loop((irelaxed,iffull,ddd)$(sameAs(irelaxed,iffull) 및 sameAs(iffull,ddd)), cnt = cnt+1);
abort$(cnt<>2) '잘못된 cnt', cnt, irelaxed, ifull, ddd;