package why3find

  1. Overview
  2. Docs
A Why3 Package Manager

Install 

dune-project
 Dependency

git.frama-c.com Readme Changelog LGPL-2.1-only License Edit opam file Versions (3)

Authors

  1. L
    Loïc Correnson <loic.correnson@cea.fr>
  2. B
    Benjamin Jorge <benjamin.jorge@cea.fr>

Maintainers

  1. B
    benjamin.jorge@cea.fr
  2. L
    loic.correnson@cea.fr

Sources

why3find-1.3.0.tar.gz
md5=435da830a513fd91ec5411c91126b763
sha512=fd8b04eb16d569c0dc9e5595a40b174d7858121b080c81d459b2f28fb3af1ebc32ef408859d5c1c5f45c61790625c027c2ecfc3d45e597943543de7212bab8d6

doc/why3find.utils/Why3findUtils/Fibers/Queue/index.html

Module Fibers.QueueSource

Iterable Queues.

This data structure is very similar to Queue from the standard library, but offers efficient filtering.

It is designed for internal use, although it might be usefull for other purposes.

Sourcetype 'a t
Sourceval create : unit -> 'a t
Sourceval length : 'a t -> int
Sourceval pop : 'a t -> 'a
Sourceval push : 'a t -> 'a -> unit
Sourceval iter : ('a -> unit) -> 'a t -> unit
Sourceval flush : ('a -> unit) -> 'a t -> unit
Sourceval filter : ('a -> bool) -> 'a t -> unit
Sourceval elements : 'a t -> 'a list
Sourceval clear : 'a t -> unit