Только построить и проверить модель

Question

У меня есть модель в ILOG CPLEX, написанная на OPL. Я хочу выполнить все проверки semanti c (в частности, все операторы assert). Я не хочу создавать какие-либо выходные файлы или решать модель.

Судя по краткому описанию процесса выполнения, описанному в do c, я бы хотел выполнить только этапы 1 -3.

Есть ли способ сделать это из IDE? Или ему нужен файл * .ops или сценарии с OPL-сценарием в главном блоке?

Answer 1

в документации вы должны взглянуть на Обзор в

IDE и OPL> CPLEX Studio IDE> Справочник по IDE> Графический интерфейс пользователя> Команды меню и эквивалентные кнопки панели инструментов

Это действие доступны в среде IDE и что она делает:

"Создает или перестраивает дерево модели структур данных, определенных в активной модели или проекте, чтобы разрешить просмотр проекта в браузере проблем без его решения.

Вы можете щелкнуть стрелку рядом с кнопкой и выбрать файл для просмотра в контекстном меню. "

Если вы предпочитаете использовать управление потоком и сценарии, а ваша модель выполняет только предварительную обработку , ограничения и постобработка вы можете добавить

main
{
  thisOplModel.generate();
  writeln("ok");
}

, который не будет вызывать решить