package pds-reachability

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Pds_reachability_work_collection_templates.Work_stack`Source

module W : Pds_reachability_work.Work_type

module W = W

Sourcetype work_collection

The type of a work collection.

Sourceval equal_work_collection : work_collection -> work_collection -> bool

An equality test for work collections.

Sourceval compare_work_collection : work_collection -> work_collection -> int

A comparator for work collections.

Sourceval pp_work_collection : Batteries.Format.formatter -> work_collection -> unit

A pretty-printer for work collections.

Sourceval show_work_collection : work_collection -> string

A conversion from work collections to strings.

Sourceval empty : work_collection

An empty work collection.

Sourceval offer : W.t -> work_collection -> work_collection

Adds a work unit to a work collection.

Sourceval take : work_collection -> work_collection * W.t option

Extracts a work unit from a work collection. The only guaratees made by this routine are as follows:

In particular, there are no guarantees made about the order in which the offered elements are taken.

Sourceval is_empty : work_collection -> bool

Determines if a work collection is empty.

Sourceval size : work_collection -> int

Determines the number of elements to be taken from a given work collection.

Sourceval enum : work_collection -> W.t Batteries.Enum.t

Enumerates the elements in a work collection in the order in which they would be taken.

Sourceval to_yojson : work_collection -> Yojson.Safe.json

Exports a work collection as JSON.