: Public Note
Created: |
10-04-2008 12:15:53 |
Modified: |
10-04-2008 12:15:53 |
|
Project: |
|
Author: |
|
Version: |
|
Phase: |
|
Status: |
|
Complexity: |
|
Difficulty: |
|
Priority: |
|
Multiplicity: |
|
Advanced: |
|
UUID: |
{3F850B82-C22C-4372-A6B5-8C51E608DBDF} |
Appears In: |
Types related to Numerics |
-- 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>