DomainId

Type:

Vector<int>

Range:

[v_1, …]

Default:

-/-

Appearance:

simple

This list of identifiers specifies the domains on whose interfaces the source definitions are located.