Subject: Re: Special State
From: Michael Rohleder (michael.rohleder@motorola.com)
Date: Wed Jan 15 2003 - 08:43:49 PST
a) Yes, this is also my favorite variant.
b) As already said, I don't care about the naming convention as long as there is one. :-)
- Michael
Andrzej Litwiniuk wrote:
> > * 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)
--NOTE: The content of this message may contain personal views which are not neccessarily the views of Motorola, unless specifically stated.
___________________________________________________ | | _ | Michael Rohleder Tel: +49-89-92103-259 | _ / )| Software Technologist Fax: +49-89-92103-680 |( \ / / | Motorola, Semiconductor Products, System Design | \ \ _( (_ | _ Schatzbogen 7, D-81829 Munich, Germany _ | _) )_ (((\ \>|_/ > < \_|</ /))) (\\\\ \_/ / mailto:Michael.Rohleder@motorola.com \ \_/ ////) \ /_______________________________________________\ / \ _/ \_ / / / \ \
The information contained in this email has been classified as: Motorola General Business Information (x) Motorola Internal Use Only ( ) Motorola Confidential Proprietary ( )
*** This note may contain Motorola Confidential Proprietary or Motorola Internal Use Only Information and is intended to be reviewed by only the individual or organization named above. If you are not the intended recipient or an authorized representative of the intended recipient, you are hereby notified that any review, dissemination or copying of this email and its attachments, if any, or the information contained herein is prohibited. If you have received this email in error, please immediately notify the sender by return email and delete this email from your system. Thank you! ***
This archive was generated by hypermail 2b28 : Wed Jan 15 2003 - 08:44:27 PST