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

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

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

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

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

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