Subject: assert macros and default values

From: "Jyotheeswara Rao Kurma" <[email-masked]>
Date: Mon, 09 Jul 2001 16:43:41 +0500

Hi ;

 can you tell me whether the following macros and default values are 
corrrect.
-----------------------------------------------------------------------
bool lost_assert(*,G,I) {
    if ( RPF_interface(RP) == I ) {
       return FALSE
    } else {
       return ( AssertWinner(*,G,I) != NULL AND 
                AssertWinner(*,G,I) != me )
    }
}
  and it's default value (when in NoInfo state ) is NULL 
  and default assertWinnerMetric is infinity .
------------------------------------------------------------------------
bool lost_assert(S,G,I) {
if ( RPF_interface(S) == I ) {
 return FALSE
 } else {
 return ( AssertWinner(S,G,I) != NULL AND 
 AssertWinner(S,G,I) != me AND 
 (AssertWinnerMetric(S,G,I) is better
  than spt_assert_metric(S,G,I) )
 }
}
and it's default value (when in NoInfo state ) is NULL 
   and default assertWinnerMetric is infinity .
-----------------------------------------------------------------------
  bool lost_assert(S,G,rpt,I) {
    if ( RPF_interface(RP) == I OR
         ( RPF_interface(S) == I AND
          SPTbit(S,G) == TRUE ) ) {
       return FALSE 
    } else { 
      return (AssertWinner(S,G,I) != NULL AND
              AssertWinner(S,G,I) != me) 
    } 
  } 
                  
and it's default value (when in NoInfo state ) is NULL 
   and default assertWinnerMetric is infinity .
------------------------------------------------------------------------

Update me if I am wrong,
Thanks,
Jyotheesh

--------------------------------------------------------------------
Every moment is a golden one for him who has the vision to recognize it 
as such. 
-- Henry Miller