Формат описания запретов

Текстовая строка задания запретов имеет следующий формат:
Тип ограничения: (Предикат 1) оn (Предикат области)
Тип ограничения - Deny
Предикат 1 - булевское выражение для формирования подмножества объектов заданного типа. В выражении может задаваться набор типов объектов цепей (треки, ПО, ПО определённого стиля, области металлизации) и набор цепей , формирующих множество. Выражение "Any" задаёт множество всех поддерживаемых объектов. Если в выражении задаются только цепи, то, по умолчанию, считается, что в множество входят все поддерживаемые типы объектов цепей. Если в выражении задаются только типы, то фильтрация по цепям не производится.
Фильтрация осуществляется по следующим типам объектов:
IsTrack - трек;
IsVia - переходное отверстие;
IsViaStyle = "Имя стиля переходного отверстия";
IsMetal - заливка области металлизации.

Фильтрация цепей осуществляется по именам цепей, диффпарных цепей и классов цепей.
Net="Имя цепи или имя диффпарной цепи"
NetClass="Имя класса цепей"

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

Значение
Указание значений для запретов не требуется.

Примеры:
Deny: (IsTrack && Net="3V3") on (Top && Region="reg1")
Deny: (IsVia && Net="GND") on (Top && Region="reg1")
Deny: (IsMetal && Net="3V3") on (Region="reg1")