Формат описания ограничений на ПО и Т-соединения для цепей

Текстовая строка задания ограничения на число переходных отверстий цепи имеет следующий формат:
Тип ограничения : (Предикат  цепи) = {Набор значений параметров}
Тип ограничения - Allow
Предикат цепи - булевское выражение для формирования подмножества цепей. Выражение "Any" задаёт множество всех цепей.
Фильтрация цепей осуществляется по именам цепей и именам дифпарных цепей.
Net="Имя цепи или диффпарной цепи"

Набор значений параметров
{Тип параметра (MaxViaCount): Максимально разрешённое число переходных отверстий в цепи ( Если правило не задано – число ПО не ограничено) }

Пример:
Allow: ( Net="xsig") = {MaxViaCount:3}

Текстовая строка задания разрешённых для цепи типов переходных отверстий имеет следующий формат:
Тип ограничения : (Предикат цепи) оn (Предикат области) = {Набор значений параметров}
Тип ограничения - Allow
Предикат цепи - булевское выражение для формирования подмножества цепей. Выражение "Any" задаёт множество всех цепей.
Фильтрация цепей осуществляется по именам цепей и именам дифпарных цепей.
Net="Имя цепи или диффпарной цепи"

Предикат области осуществляет фильтрацию области действия правила. Если предикат отсутствует, правило считается действующим по всей области платы. Фильтрация может осуществляться по слоям.
Layer = "Имя слоя"
Top - фильтр включает верхний слой стека слоёв
Bottom - фильтр включает нижний слой стека слоёв

Набор значений параметров
{ Тип параметра (ViaStyle): [Список имён разрешённых стилей ПО, разделённых точкой с запятой] }
Отсутствие правила предполагает возможность использования всех стилей ПО.

Пример:
Allow: (Net="xsig") = {ViaStyle: ["Via1"; "Via2"] }

Текстовая строка задания разрешённых для цепи типов T-соединений имеет следующий формат:
Тип ограничения : (Предикат цепи) = {Набор значений параметров}
Тип ограничения - Allow
Предикат цепи - булевское выражение для формирования подмножества цепей. Выражение "Any" задаёт множество всех цепей.
Фильтрация цепей осуществляется по именам цепей и именам диффпарных цепей.
Net="Имя цепи или диффпарной цепи"

Набор значений параметров
{ Тип параметра (TJunction): Значение параметра }
Поддерживаемые значения параметра TJunction - None, Pin, PinVia, PinViaTrack

Пример:
Allow: (Net="xsig") = {TJunction: PinViaTrack}
Allow: (Net="xsig") = {TJunction: None}
Allow: (Net="xsig") = {TJunction: Pin}

Текстовая строка задания разрешения установки ПО в пределах КП:
Тип ограничения: (Предикат) оn (Предикат области) = {Набор значений параметров}
Тип ограничения - Allow
Предикат - булевское выражение для формирования подмножества цепей и стилей ПО. Выражение "Any" задаёт множество всех цепей и всех стилей.
ViaStyle="Имя стиля ПО"
Фильтрация цепей осуществляется по именам цепей и именам диффпарных цепей.
Net="Имя цепи или диффпарной цепи"

Предикат области осуществляет фильтрацию области действия правила. Если предикат отсутствует, правило считается действующим по всей области платы. Фильтрация может осуществляться по слоям.
Layer = "Имя слоя"
Top - фильтр включает верхний слой стека слоёв
Bottom - фильтр включает нижний слой стека слоёв

Набор значений параметров
{ Тип параметра (ViaOnPad): значение по умолчанию разрешено }
Отсутствие правила предполагает невозможность установки ПО в пределах КП.

Пример:
Allow: (Net="xsig"&&Any) = {ViaOnPad}
Allow: (Any&&ViaStyle="Default via style") = {ViaOnPad}