From b649131dd632324d746ed6a2de475d56dcce0759 Mon Sep 17 00:00:00 2001 From: James Cherry Date: Sun, 29 Mar 2020 15:47:31 -0700 Subject: [PATCH] ssta fuzzyInf --- graph/DelayNormal1.cc | 6 ++++++ graph/DelayNormal1.hh | 2 ++ graph/DelayNormal2.cc | 6 ++++++ graph/DelayNormal2.hh | 2 ++ 4 files changed, 16 insertions(+) diff --git a/graph/DelayNormal1.cc b/graph/DelayNormal1.cc index 32bb6fa2..81a0f48c 100644 --- a/graph/DelayNormal1.cc +++ b/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) diff --git a/graph/DelayNormal1.hh b/graph/DelayNormal1.hh index 0273ab9d..19f20810 100644 --- a/graph/DelayNormal1.hh +++ b/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 diff --git a/graph/DelayNormal2.cc b/graph/DelayNormal2.cc index 303f8cf1..e660bf81 100644 --- a/graph/DelayNormal2.cc +++ b/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) diff --git a/graph/DelayNormal2.hh b/graph/DelayNormal2.hh index 36d29eab..73b07419 100644 --- a/graph/DelayNormal2.hh +++ b/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