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.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: BDD package in Ada.
Date: Wed, 8 Apr 2015 16:20:33 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <mg4631$tv3$1@loke.gir.dk>
References: <44b2e375-8993-4a7e-b81a-6a7b512d2e3e@googlegroups.com>
 <1miph3v72f4y2$.1u76w2ujg74zf$.dlg@40tude.net>
NNTP-Posting-Host: rrsoftware.com
X-Trace: loke.gir.dk 1428528033 30691 24.196.82.226 (8 Apr 2015 21:20:33 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Wed, 8 Apr 2015 21:20:33 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:25476
Date: 2015-04-08T16:20:33-05:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:1miph3v72f4y2$.1u76w2ujg74zf$.dlg@40tude.net...
...
> I don't think structures like trees and directed graphs could be packed in
> a library.

Of course, Ada has Ada.Containers.Multiway_Trees, so it's pretty clear that 
trees *can* be in a library. It wouldn't be hard to do something similar for 
more general directed graphs. Whether that's useful or not I'll leave others 
to judge. (It does match many things in my work, but nothing since it was 
added to Ada, so I've never had an opportunity to use it.)

                                         Randy.