ssta fuzzyInf

graph/DelayNormal1.cc

@@ -222,6 +222,12 @@ fuzzyZero(const Delay &delay)
     && fuzzyZero(delay.sigma2());
 }
 
+bool
+fuzzyInf(const Delay &delay)
+{
+  return fuzzyInf(delay.mean());
+}
+
 bool
 fuzzyEqual(const Delay &delay1,
 	   const Delay &delay2)

graph/DelayNormal1.hh

@@ -118,6 +118,8 @@ delayIsInitValue(const Delay &delay,
 bool
 fuzzyZero(const Delay &delay);
 bool
+fuzzyInf(const Delay &delay);
+bool
 fuzzyEqual(const Delay &delay1,
 	   const Delay &delay2);
 bool

graph/DelayNormal2.cc

@@ -245,6 +245,12 @@ fuzzyZero(const Delay &delay)
     && fuzzyZero(delay.sigma2Late());
 }
 
+bool
+fuzzyInf(const Delay &delay)
+{
+  return fuzzyInf(delay.mean());
+}
+
 bool
 fuzzyEqual(const Delay &delay1,
 	   const Delay &delay2)

graph/DelayNormal2.hh

@@ -125,6 +125,8 @@ delayIsInitValue(const Delay &delay,
 bool
 fuzzyZero(const Delay &delay);
 bool
+fuzzyInf(const Delay &delay);
+bool
 fuzzyEqual(const Delay &delay1,
 	   const Delay &delay2);
 bool