: Public Note
Created: 10-04-2008 12:15:53
Modified: 10-04-2008 12:15:53
Project:
Advanced:
-- Infinite if and only if value is not specified<br /></p><p>{[ isInfinte = True ] = [ value = Null ]}<br /></p><p>-- value is either infinite or non-negative<br /></p><p>{value <> Null implies value >= 0}<br /></p>