Subject: (S,G,rpt) asserts

From: Ravi Puvvala <[email-masked]>
Date: Tue, 29 Aug 2000 14:30:56 -0700

If a router has (*,G) and (S,G,rpt) state and if we receive a
preferred assert with the RPT bit set. 

There were few matching rules that were specified in the old draft
when an assert is received, the new spec does not mention anything.
I assume we match both (*,G) and (S,G) assert state machines.

According to the assert section state machine in Section 4.5,
(S,G,rpt) assert state is not changed because CouldAssert(S,G,I) 
will be false?  This does not seem correct.

CouldAssert(S,G,I) = 
    SPTbit(S,G)==TRUE
    AND ........

Ravi