From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,d9e62a9b5f6f9797 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-01-24 21:57:05 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed00.sul.t-online.de!t-online.de!fr.usenet-edu.net!usenet-edu.net!enst!enst.fr!not-for-mail From: Christoph Grein Newsgroups: comp.lang.ada Subject: Re: boolean array Date: Fri, 25 Jan 2002 06:55:03 +0100 (MET) Organization: ENST, France Sender: comp.lang.ada-admin@ada.eu.org Message-ID: Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii X-Trace: avanie.enst.fr 1011938223 71876 137.194.161.2 (25 Jan 2002 05:57:03 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Fri, 25 Jan 2002 05:57:03 +0000 (UTC) Return-Path: Content-MD5: hob4nEMPtBWbOrbYPNmuIQ== X-Mailer: dtmail 1.2.1 CDE Version 1.2.1 SunOS 5.6 sun4u sparc Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.0.8 Precedence: bulk X-Reply-To: Christoph Grein List-Help: List-Post: List-Subscribe: , List-Id: comp.lang.ada mail<->news gateway List-Unsubscribe: , Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org Xref: archiver1.google.com comp.lang.ada:19297 Date: 2002-01-25T06:55:03+01:00 Foo : array (some_range) of Boolean; ... Any_False_Present : constant Boolean := Foo /= (some_range => True); But faster/preferred ?? > Hello, > > I want to know if there is any false element(s) in an array of booleans. > > Currently I am looping through the array and looking at each value until > I find a false element. > > x := true; > for i in foo'range loop -- foo'range < 8 > x := foo (i); > exit when not x; > end loop; > > if x then ..... > > Is there a faster/preferred way of accomplishing this? > I am compiling Ada 95 with Green Hills AdaMULTI for VxWorks running on x86. > > Thank you, > Keith