apis/examples_cpp/domainchecking_8cpp_source.html

#include "슬롯 나라h"

#include <지도>

#include <벡터>

#include <iostream>

#include <알고리즘>


네임스페이스 사용게임;

네임스페이스 사용표준;


std::stringgetDataText()

{

    반환 "\n 세트"

           "i 통조림 식물 / 시애틀, 샌디에고 /; \n"

           " \n"

           "별칭 (i,ii); \n";

}


int 메인(intargc,문자* argv[])

{

cout <<"---------- 도메인 확인 중 ------------"<< endl;


    // C++ 데이터 구조를 사용하여 일부 데이터 정의

벡터<string> 식물"시애틀", "샌디에고"};

벡터<string> 시장"뉴욕", "시카고", "토피카"};

map<string, double> 용량"시애틀", 350.0 }, { "샌디에고", 600.0 } };

map<string, double> 수요"뉴욕", 325.0 }, { "시카고", 300.0 }, { "토피카", 275.0 } };

맵<튜플<문자열, 문자열>,더블> 거리

make_tuple<string,string> ("시애틀",   "뉴욕"), 2.5 },

make_tuple<string,string> ("시애틀",   "시카고"),  1.7 },

make_tuple<문자열,문자열> ("시애틀",   "토피카"),   1.8 },

make_tuple<string,string> ("샌디에고", "뉴욕"), 2.5 },

make_tuple<string,string> ("샌디에고", "시카고"),  1.8 },

make_tuple<string,string> ("샌디에고", "토피카"),   1.4 }

};


    시도{

        GAMSWorkspaceInfowsInfo;

        if(인수 > 1)

wsInfo.setSystemDirectory(argv[1]);

        슬롯 나라작업공간ws(wsInfo);

        // C++ 데이터 구조의 데이터로 GAMSDatabase 준비

        슬롯 나라데이터베이스db = ws.추가데이터베이스();


        // GAMSDatabase에 두 세트 추가

        GAMSSeti = db.추가세트("나", "");

        for (자동식물: 식물)

i.추가기록(식물);

        GAMSSetj = DB.추가세트("j", "");

        for (자동시장: 시장)

j.추가기록(시장);


        // 도메인 정보가 포함된 매개변수 추가

        슬롯 나라매개변수a = DB.addParameter("a", "공장의 생산 능력", i);

        for (문자열식물: 식물)

a.추가기록(식물).세트값(용량[공장]);


        // 도메인 위반이 발견되면 문제가 발생한 것입니다.

        if(!a.checkDomains()) {

cout <<"*** 예상치 못한 도메인 위반"<< endl;

            반환1;

}


        // 완화된 도메인 정보로 매개변수 추가

        슬롯 나라매개변수b = DB.addParameter("b", "경우에 따라 시장 j의 수요", "j");

        for (문자열시장: 시장)

b.추가기록(시장).세트값(수요[시장]);


        // 도메인 위반이 발견되면 문제가 발생한 것입니다.

        if(!b.checkDomains()) {

cout <<"*** b에서 예기치 않은 도메인 위반"<< endl;

            반환1;

}


        // 도메인 정보가 포함된 2차원 매개변수 추가

        슬롯 나라매개변수d = db.addParameter("d", "수천 마일 단위의 거리", i, j);

        for (자동t : 거리)

            자동튜플 = t.first;

            자동t1 = get<0>(튜플);

            자동t2 = get<1>(튜플);

d.추가기록(t1, t2).세트값(거리[튜플]);

}


        // 도메인 위반이 발견되면 문제가 발생한 것입니다.

        if(!d.checkDomains()) {

cout <<"*** d에서 예기치 않은 도메인 위반"<< endl;

            반환1;

}


        // 데이터베이스에서 도메인 위반이 발견되면 문제가 발생한 것입니다.

        if(!db.checkDomains()) {

cout <<"*** DB에서 예기치 않은 도메인 위반"<< endl;

            반환1;

}


        // "잘못된" 항목 생성

d.추가기록("시애틀", "아아").세트값(1);

d.추가기록("bb", "시애틀").세트값(1);

a.추가기록("아아").세트값(1);

a.추가기록("bb").세트값(1);

b.추가기록("아아").세트값(1);

b.추가기록("bb").세트값(1);


        // 이제 슬롯 나라 데이터베이스와 기호 a 및 d에 도메인 위반이 있어야 합니다.

        if(db.checkDomains()) {

cout <<"*** DB에 대한 도메인 위반이 인식되지 않음"<< endl;

            반환1;

}

        if(a.checkDomains()) {

cout <<"*** 인식되지 않는 도메인 위반"<< endl;

            반환1;

}

        if(d.checkDomains()) {

cout <<"*** d에 대한 도메인 위반이 인식되지 않음"<< endl;

            반환1;

}


        // 대조적으로 b는 실제 도메인 정보로만 정의되었으므로 도메인 위반이 표시되어서는 안 됩니다.

        if(!b.checkDomains()) {

cout <<"*** b에서 예기치 않은 도메인 위반"<< endl;

            반환1;

}


        // a의 경우 2개의 도메인 위반("aa" 및 "bb")이 표시됩니다.

        intdvCnt = 0;

cout <<"다음 도메인 위반:"<< endl;

        for (GAMSSymbolDomainViolationsdv: a.getSymbolDVs()) {

cout <<" > ";

            for (부울vi: sdv.violInd())

cout << (vi ?"사실입니다":"거짓");

cout <<"<> ";

            for (문자열k: sdv.violRec().keys())

cout << k <<" ";

cout <<"<<"<< endl;

dvCnt++;

}

        if(dvCnt != 2)

cout <<"*** a에 대한 도메인 위반 횟수는 2여야 하지만 확인했습니다. "<< dvCnt << endl;

            반환1;

}


        // d의 경우 3개의 도메인 위반이 표시됩니다("Seattle", *"aa"*; *"bb"*, *"Seattle"*)

dvCnt = 0;

cout <<"d의 도메인 위반:"<< endl;

        for (GAMSSymbolDomainViolationsdv: d.getSymbolDVs()) {

cout <<" > ";

            for (부울vi: sdv.violInd())

cout << (vi ?"사실입니다":"거짓");

                if(vi)

dvCnt++;

}

cout <<"<> ";

            for (문자열k: sdv.violRec().keys())

cout << k <<" ";

cout <<"<<"<< endl;

}

        if(dvCnt != 3)

cout <<"*** a에 대한 도메인 위반 횟수는 3이어야 하지만 확인했습니다. "<< dvCnt << endl;

            반환1;

}


        // db의 경우 5개의 도메인 위반이 표시되어야 합니다(a와 d의 모든 위반)

dvCnt = 0;

cout <<"DB의 도메인 위반:"<< endl;

        for (GAMSDatabaseDomainViolationDDV: DB.getDatabaseDVs()) {

cout <<" > "+ DDV.violSym().name() +": "<< endl;

            for (GAMSSymbolDomainViolationsdv: DDV.violRecs())

cout <<" ";

                용 (부울vi: sdv.violInd())

cout << vi <<" ";

                    if(vi)

dvCnt++;

}

cout <<"<> ";

                for (문자열k: sdv.violRec().keys())

cout << k <<" ";

cout <<"<<"<< endl;

}

}

        if(dvCnt != 5)

cout <<"*** db에 대한 도메인 위반 횟수는 5여야 하는데 "<< dvCnt << endl;

            반환1;

}


        // 이제 보고된 위반 기록의 양을 총 3으로 제한합니다.

dvCnt = 0;

cout <<"DB의 도메인 위반:"<< endl;

        for (GAMSDatabaseDomainViolationDDV: DB.getDatabaseDVs(3)) {

cout <<" > "+ DDV.violSym().name() +": "<< endl;

            for (GAMSSymbolDomainViolationsdv: DDV.violRecs())

cout <<" ";

                for (부울vi: sdv.violInd())

cout << vi <<" ";

cout <<"<> ";

                for (문자열k: sdv.violRec().keys())

cout << k <<" ";

cout <<"<<"<< endl;

dvCnt++;

}

}

        if(dvCnt != 3)

cout <<"*** db에 대한 도메인 위반 횟수는 3이어야 하는데 "<< dvCnt << endl;

            반환1;

}

        // 이제 보고되는 위반 기록의 양을 기호당 1개로 제한합니다.

dvCnt = 0;

cout <<"DB의 도메인 위반:"<< endl;

        for (GAMSDatabaseDomainViolationDDV: DB.getDatabaseDVs(0, 1)) {

cout <<" > "+ DDV.violSym().name() +": "<< endl;

            for (GAMSSymbolDomainViolationsdv: DDV.violRecs())

cout <<" ";

                for (부울vi: sdv.violInd())

cout << vi <<" ";

cout <<"<> ";

                for (문자열k: sdv.violRec().keys())

cout << k <<" ";

cout <<"<<"<< endl;

dvCnt++;

}

}

        if(dvCnt != 2)

cout <<"*** db에 대한 도메인 위반 횟수는 2여야 하는데 "<< dvCnt << endl;

            반환1;

}


        // 기본적으로 도메인 위반이 있는 GAMSDatabase를 내보낼 때 예외가 발생해야 합니다.

        부울sawException =거짓;

        시도해 보세요{

db.do내보내기("test.gdx");

}잡기(...) {

sawException =사실;

db.setSuppressAutoDomainChecking(참);

db.do내보내기("test.gdx");

}

        if(!sawException)

cout <<"*** 기본적으로 도메인 위반이 포함된 슬롯 나라데이터베이스를 내보낼 수 없어야 합니다."<< endl;

            반환1;

}


        // gdx에서 도메인 정보가 포함된 매개변수 읽기

        슬롯 나라데이터베이스db2 = ws.addDatabaseFromGDX("test.gdx");

        슬롯 나라매개변수d2 = db2.getParameter("d");


        // 매개변수의 도메인은 GAMSSet i 및 GAMSSet j여야 합니다.

        for (GAMSDomain항목: d2.도메인()) {

            if(!item.isRelaxed())

                GAMSSetdomSet = item.getSet();

                if(domSet.이름() =="나") {

                    for (GAMSSetRecorduel: domSet)

                        if(find(plants.begin(), Plants.end(), uel.key(0)) == Plants.end())

cout <<"*** 예상치 못한 uel "+ uel.key(0) +" 도메인 i에서 발견됨"<< endl;

                            반환1;

}

}그밖에 if(domSet.이름() =="j") {

                    for (GAMSSetRecorduel: domSet)

                        if(find(markets.begin(), market.end(), uel.key(0)) == market.end())

cout <<"*** 예상치 못한 uel "+ uel.key(0) +" 도메인 j에서 발견됨"<< endl;

                            반환1;

}

}그밖에{

cout <<"*** GAMSSet i 및 j가 필요했지만 발견됨 "+ domSet.이름() << endl;

                    반환1;

}

}

            그밖에

{

cout <<"*** GAMSSet을 도메인으로 예상했지만 완화된 도메인을 찾았습니다. "+ item.name() << endl;

                반환1;

}

}


        /* *************************************************************** *

* 이 다음 섹션은 실제로 도메인 확인에 관한 것이 아니지만 우리는 *

* 특정 작업이 예상대로 작동하는지 확인하세요.          *

         * *************************************************************** */


        // 별칭을 세트로 읽어보세요.

        GAMSJobjAlias = ws.addJobFromString(getDataText());

jAlias.실행();

        GAMSSetii = jAlias.outDB().getSet("ii");

cout <<"별칭 집합의 요소:"<< endl;

        for (GAMSSetRecord항목: ii)

cout <<" > "+ item.key(0) << endl;


        슬롯 나라데이터베이스testDB = ws.추가데이터베이스();

        GAMSSettestSet = 테스트DB.추가세트("테스트", 1);


        // 빈 UEL을 추가해 보세요.

테스트세트.추가기록("");

cout <<"빈 UEL을 추가한 후 테스트 세트의 요소:"<< endl;

cout <<" > "<< 테스트세트.번호레코드() << endl;


        // 슬롯 나라는 선행 공백이 관련되어 있는 동안 보류 중인 공백을 제거합니다.

테스트세트.추가기록(" a ").setText("a");

cout <<"기록 'a'는 'a'와 동일해야 합니다:"<< endl;

cout <<" > "<< 테스트세트.findRecord("a").텍스트() << endl;


        // 슬롯 나라는 63자를 초과하는 UEL을 처리할 수 없습니다.

        // 괜찮을 것 같아요 ...

테스트세트.추가기록("123456789012345678901234567890123456789012345678901234567890123").setText("알았어");

        // ...하지만 이건 아님

sawException =거짓;

        시도해 보세요{

테스트세트.추가기록("1234567890123456789012345678901234567890123456789012345678901234").setText("괜찮지 않음");

}잡기(...) {

sawException =참;

}

        if(!sawException)

cout <<"*** 63자를 초과하는 레코드를 추가하는 것은 불가능해야 합니다."<< endl;

            반환1;

}


        // 슬롯 나라는 255자를 초과하는 설명 텍스트를 처리할 수 없습니다.

테스트DB.추가세트("텍스트 확인", "12345678901234567890123456789012345678901234567890123 45678901234567890123456789012345678901234567890123456789012345678901 23456789012345678901234567890123456789012345678901234567890123456789 012345678901234567890123456789012345678901234567890123456789012345");

sawException =거짓;

        시도{

테스트DB.추가세트("textNotOK", "123456789012345678901234567890123456789012345678901234 56789012345678901234567890123456789012345678901234567890123456789012 34567890123456789012345678901234567890123456789012345678901234567890 123456789012345678901234567890123456789012345678901234567890123456");

}잡기(...) {

sawException =참;

}

        if(!sawException)

cout <<"*** 255자를 초과하는 설명 텍스트를 추가하는 것은 불가능해야 합니다."<< endl;

            반환1;

}


테스트세트.추가기록("알았어").setText("12345678901234567890123456789012345678901234567890123 45678901234567890123456789012345678901234567890123456789012345678901 23456789012345678901234567890123456789012345678901234567890123456789 012345678901234567890123456789012345678901234567890123456789012345");

sawException =거짓;

        시도해 보세요{

테스트세트.추가기록("안돼").setText("123456789012345678901234567890123456789012345678901234 56789012345678901234567890123456789012345678901234567890123456789012 34567890123456789012345678901234567890123456789012345678901234567890 123456789012345678901234567890123456789012345678901234567890123456");

}잡다(...) {

sawException =사실;

}

        if(!sawException)

cout <<"*** 255자를 초과하는 설명 텍스트를 추가하는 것은 불가능해야 합니다."<< endl;

            반환1;

}


        // 슬롯 나라는 작은따옴표와 큰따옴표가 포함된 UEL을 처리할 수 있지만 동시에 처리할 수는 없습니다.

testSet.추가기록("인용문'");

testSet.추가기록("인용문\"");

sawException =거짓;

        시도해 보세요{

testSet.추가기록("인용문'\"");

}잡기(...) {

sawException =참;

}

        if(!sawException)

cout <<"*** 레코드에 작은따옴표와 큰따옴표를 추가하는 것은 불가능해야 합니다."<< endl;

            반환1;

}


테스트DB.do내보내기("test.gdx");

}잡기 (슬롯 나라예외&ex)

cout <<"슬롯 나라예외 발생: "<< ex.what() << endl;

}잡기(예외 &ex)

cout << ex.what() << endl;

}


    반환0;

}


슬롯 나라::GAMSDatabaseDomainViolation

슬롯 나라::슬롯 나라데이터베이스

슬롯 나라::GAMSDatabase::getDatabaseDVs
std::벡터< GAMSDatabaseDomainViolation > getDatabaseDVs(int maxViol=0, int maxViolPerSym=0)

슬롯 나라::GAMSDatabase::addSet
GAMSSet addSet(const std::string &name, const int 차원, const std::string &explanatoryText="", GAMSEnum::SetType setType=GAMSEnum::SetType::Multi)

슬롯 나라::GAMSDatabase::addParameter
GAMSParameter addParameter(const std::string &name, const int 차원, const std::string &explanatoryText="")

슬롯 나라::GAMSDatabase::doExport
void doExport(const std::string &filePath="")

슬롯 나라::GAMSDatabase::getSet
GAMSSet getSet(const std::string &name)

슬롯 나라::GAMSDatabase::getParameter
GAMSParameter getParameter(const std::string &name)

슬롯 나라::GAMSDatabase::checkDomains
bool checkDomains()

슬롯 나라::GAMSDatabase::setSuppressAutoDomainChecking
void setSuppressAutoDomainChecking(bool value)

슬롯 나라::GAMSDomain

슬롯 나라::GAMSException

슬롯 나라::GAMSJob

슬롯 나라::GAMSJob::outDB
슬롯 나라데이터베이스 outDB()

슬롯 나라::GAMSJob::run
void run()

슬롯 나라::GAMSParameterRecord::setValue
void setValue(const double val)

슬롯 나라::슬롯 나라매개변수

슬롯 나라::GAMSParameter::addRecord
GAMSParameterRecord addRecord(const std::벡터< std::string > &keys)

슬롯 나라::GAMSSetRecord

슬롯 나라::GAMSSetRecord::setText
void setText(const std::string &text)

슬롯 나라::GAMSSetRecord::text
std::string 텍스트()

슬롯 나라::GAMSSet

슬롯 나라::GAMSSet::findRecord
GAMSSetRecord findRecord(const std::벡터< std::string > &keys)

슬롯 나라::GAMSSet::addRecord
GAMSSetRecord addRecord(const std::벡터< std::string > &keys)

슬롯 나라::GAMSSymbolDomainViolation

슬롯 나라::GAMSSymbol::getSymbolDVs
std::벡터< GAMSSymbolDomainViolation > getSymbolDVs(int maxViol=0)

슬롯 나라::GAMSSymbol::이름
std::string & name() const

슬롯 나라::GAMSSymbol::numberRecords
int numberRecords() const

슬롯 나라::GAMSSymbol::도메인
std::벡터< GAMSDomain > 도메인()

슬롯 나라::GAMSSymbol::checkDomains
bool checkDomains()

슬롯 나라::GAMSWorkspaceInfo

슬롯 나라::GAMSWorkspaceInfo::setSystemDirectory
void setSystemDirectory(const std::string &systemDir)

슬롯 나라::GAMSWorkspace

슬롯 나라::GAMSWorkspace::addJobFromString
GAMSJob addJobFromString(const std::string &gamsSource, const std::string &jobName="")

슬롯 나라::GAMSWorkspace::addDatabase
GAMSDatabase addDatabase(const std::string &databaseName="", const std::string &inModelName="")

슬롯 나라::GAMSWorkspace::addDatabaseFromGDX
GAMSDatabase addDatabaseFromGDX(const std::string &gdxFileName, const std::string &databaseName, const std::string &inModelName)

메인
int main(int argc, char *argv[])
정의 domainchecking.cpp:58

getDataText
std::string getDataText()
정의 domainchecking.cpp:34

감스