[Sahas2711]

Summary

Fixes an issue where PropertyDomain.isSubDomain() raises a TypeError when a discrete domain has no domainRange.

Root Cause

The domain_values property attempts to call min(self.domainRange) when domainRange is None, causing TypeError: 'NoneType' object is not iterable. This affects subdomain comparisons for unbounded discrete domains.

Changes Made

• Modified domain_values property to return None for unbounded discrete domains (no domainRange set)
• Rewrote is_subdomain_of_discrete_domain function to handle None domain_values
• Added proper handling for unbounded domains in subdomain checks
• Binary domains now correctly handle {0, 1} against unbounded discrete domains

Testing

• All 12 regression test cases pass
• Existing subdomain behavior preserved
• Overlap behavior verified with no regressions

Related Issue

Closes #1632

[Copilot]

Copilot was unable to review this pull request because the user who requested the review has insufficient remaining quota. Try requesting a review at a lower effort level.

An organization owner can choose the repository organization as the billing source for reviews requested by members with a paid Copilot license. Learn about Copilot code review billing.