Default discontinuity

Hi

Is "$discontinuity;" (no argument) the equivalent of 
"discontinuity(0);"? I can't see anything explicitly stating this either 
in the 2.2 LRM or the 2.3 draft.

Regards
Paul Floyd
-- 
Dr Paul Floyd
Mentor Graphics Corporation



-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.