You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The src_peers and dst_peers dimensions are special dimensions, they do not have constant domain. Their domain depends on the current set of peers in the system (as appears in BasePeerSet singleton). This set grows when adding more configurations. Thus, there is no unique 'all values' representation. In particular, those dimensions are never reduced to inactive.
This might be a problem in comparison and inclusion operators of ConnectivityProperties. The possible solution may be to keep 'reference full domain value' for these dimensions (as another member in the BasePeerSet), and to set it to relevant values per query, while making a special treatment of these dimensions in the above comparison and inclusion operators.
The text was updated successfully, but these errors were encountered:
The
src_peers
anddst_peers
dimensions are special dimensions, they do not have constant domain. Their domain depends on the current set of peers in the system (as appears inBasePeerSet
singleton). This set grows when adding more configurations. Thus, there is no unique 'all values' representation. In particular, those dimensions are never reduced to inactive.This might be a problem in comparison and inclusion operators of
ConnectivityProperties
. The possible solution may be to keep 'reference full domain value' for these dimensions (as another member in theBasePeerSet
), and to set it to relevant values per query, while making a special treatment of these dimensions in the above comparison and inclusion operators.The text was updated successfully, but these errors were encountered: