Вычисление системы ограничений

Основную задачу трехмерного геометрического решателя (см. Задача удовлетворения геометрических ограничений) выполняет функция

GCM_result GCM_Evaluate(GCM_system gSys)

которая вычислит новое состояние геометрии и раздаст диагностических коды тем ограничениям, которые не удалось удовлетворить. Функция не тратит время на вычисления, если на момент её вызова все ограничения удовлетворены.

GCM_Evaluate вернет код GCM_RESULT_Ok, если найдено успешное решение для всех заданных ограничений. Любое другое возвращаемое значение говорит о том, что удовлетворить систему ограничений целиком не удалось. Таким образом, возвращаемое значение GCM_Evaluate, показывает либо успешный результат, либо диагностический код одного из не решенных ограничений, либо иное код, показывающий причину неудачного решения. Расшифровка диагностических кодов приведена в параграфе Диагностические коды решения.

После вызова GCM_Evaluate каждому геометрическому ограничению присваивается диагностический статус, который можно узнать с помощью вызова

GCM_result GCM_EvaluationResult(GCM_system gSys, GCM_constraint cItem)

который для каждого ограничения выдаст одно из возможных значений:

• GCM_RESULT_None означает, что статус ограничения не определен, т.е. ограничение ни разу не вычислялось;

• GCM_RESULT_Satisfied означает, что ограничение решено;

• GCM_RESULT_Overconstrained, означает что ограничение участвует в группе противоречащих друг другу ограничений, которые не могут быть удовлетворены одновременно. Обычно удаление одного из таких ограничений исправляет ситуацию;

• GCM_RESULT_Not_Satisfied, означает, что ограничение не удовлетворено (предусмотрено для случаев, когда не удается диагностировать причину неудачного решения);

• GCM_RESULT_Unsolvable, означает, что ограничение не может быть решено. Возможные причины: противоречие ограничений друг другу, отсутствие необходимых ограничений, позиционирующих объекты (например, в кулачковом механизме), плохое начальное приближение;

• GCM_RESULT_IncompatibleArguments, означает, что ограничение не применимо для объектов с данными типами геометрии. Например, совпадение плоскости и цилиндра не возможно выполнить; Подробнее о всех значениях GCM_result см. в параграфе Диагностические коды решения.

В результате вызова GCM_Evaluate меняется состояние геометрических объектов. Чтобы приложение могло применить результаты расчетов, необходимо запросить с помощью функции GCM_Placement значения ЛСК, позиционирующие объекты.

Функция

MbPlacement3D GCM_Placement(GCM_system gSys, GCM_geom g)    

возвращает положение (ЛСК) геометрического объекта g в соответствии с текущим состоянием геометрической модели. В параграфе Представление геометрических объектов уже говорилось, что свою ЛСК имеет каждый геометрический объект, даже если это примитив в роде точки. ЛСК удобна тем, что с ее помощью можно выразить положение объектов всех типов, включая не только твердые тела, но и простые объекты, такие как точка, прямая и плоскость. Также с помощью вызова GCM_Origin можно запросить точку начало только координат ЛСК. Это удобно, когда мы имеем дело с неориентированными объектами, такими как точка и сфера.

Другая функция, применительно к радиусным объектам, таким как окружность, сфера или цилиндр вернет значение радиуса:

double GCM_Radius(GCM_system gSys, GCM_geom g)

Также с помощью функций:

double GCM_RadiusA(GCM_system gSys, GCM_geom g)

double GCM_RadiusB(GCM_system gSys, GCM_geom g)

можно узнать большой и малый радиусы тороида и конуса.

Приложение имеет возможность не только запрашивать текущее состояние геометрии, но и менять его, если по каким-либо причинам произошли изменения на стороне CAD-модели, требующие синхронизировать геометрический решатель. Для этого предусмотрен вызов

void GCM_SetPlacement(GCM_system gSys, GCM_geom g, const MbPlacement3D & place)

который меняет текущее значение ЛСК объекта.

Исходные данные вызова:

• gSys – система геометрических ограничений;

• g – дескриптор геометрического объекта;

• place – новое положение (ЛСК), заданной в мировой системе координат.

Заметим, эта функция только придает объекту новое состояние без переоценки системы ограничений. Вызов GCM_Evaluate может поменять заданное состояние, если имеются не удовлетворенные ограничения.

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

bool GCM_IsSatisfied(GCM_system gSys, GCM_constraint cItem)

которая вернет true, если ограничение cItem, удовлетворено в текущем состоянии геометрии. Результат вызова GCM_IsSatisfied зависит только от текущего состояния геометрических аргументов ограничения и не связано с его диагностическим статусом, возвращаемым по запросу GCM_EvaluationResult.