Subject: Re: Special State
From: Andrzej Litwiniuk (Andrzej.Litwiniuk@synopsys.com)
Date: Wed Jan 15 2003 - 08:28:56 PST
> * At a minimum we need to be able to _identify_ the start and any accepting state
> * I would further like to be able to distinguish different accepting states
> - Start state is always encoded as 0
> - Accepting states can be identified by bool svaIsAcceptingState(StateID )
I would vote for this variant.
Andrzej
PS. BTW, I used to think that the proposed naming convention for the assertions stuff
was: sva_is_accepting_state(StateID)
This archive was generated by hypermail 2b28 : Wed Jan 15 2003 - 08:29:38 PST