package jasmin

  1. Overview
  2. Docs
Compiler for High-Assurance and High-Speed Cryptography

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (17)

Authors

  1. J
    Jasmin authors and contributors

Maintainers

  1. J
    Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>

Sources

jasmin-compiler-v2025.06.1.tar.bz2
sha256=e92b42fa69da7c730b0c26dacf842a72b4febcaf4f2157a1dc18b3cce1f859fa

doc/jasmin.jasmin/Jasmin/Utils/ISet/index.html

Module Utils.ISetSource

include module type of BatISet
Sourcetype t = (int * int) BatAvlTree.tree

the underlying representation is a balanced tree of ranges

Sourcetype elt = int

This kind of set only holds ints

Sourceval empty : t

The empty set

Sourceval is_empty : t -> bool

Test whether a set is empty, returns true if the set is empty.

Sourceval mem : int -> t -> bool

test whether a given int is a member of the set

Sourceval add : int -> t -> t

Add the given int to the set, returning a new set

Sourceval add_range : int -> int -> t -> t

add_range lo hi t adds the range of integers lo, hi (including both endpoints) to the given set, returning a new set

Sourceval singleton : int -> t

Return the singleton set containing only the given element

Sourceval remove : int -> t -> t

Remove an element from the given set, returning a new set

Sourceval remove_range : int -> int -> t -> t

remove_range lo hi t removes a range of elements from the given set, returning a new set

Sourceval union : t -> t -> t

Compute the union of two sets. This is the set whose elements are those elements in either input set.

Sourceval inter : t -> t -> t

Compute the intersection of two sets. This is the set whose elements are those in *both* of the input sets.

Sourceval diff : t -> t -> t

Compute the difference between two sets. This is the set of elements that are in the first but not in the second. Unlike union and inter, order matters here.

Sourceval compl : t -> t

Create the complement of the given set - i.e. the set of all values not in the input set.

Sourceval compare : t -> t -> int

Compare two sets. It is not safe to use the polymorphic (<) and related functions to compare these sets, as the tree representation used can balance in multiple ways.

Sourceval equal : t -> t -> bool

Test whether two sets are equal. It is not safe to use the polymorphic (=) on these sets, as the same set can have multiple representations depending on how it was built.

Sourceval ord : t -> t -> BatOrd.order

Same as compare but returns BatOrd.Lt | BatOrd.Eq | BatOrd.Gt instead of an int.

Sourceval subset : t -> t -> bool

subset t u returns true if t is a subset of u

Sourceval from : int -> t -> t

from x t returns the portion of t in the range x, max_int

Sourceval after : int -> t -> t

after x t returns the portion of t in the range x+1, max_int

Sourceval until : int -> t -> t

until x t returns the portion of t in the range min_int, x

Sourceval before : int -> t -> t

before x t returns the portion of t in the range min_int, x-1

Sourceval iter : (int -> unit) -> t -> unit

iter f t calls f once for each element of t

Sourceval iter_range : (int -> int -> unit) -> t -> unit

iter_range f t calls f once for each contiguous range of t. The contiguous ranges of a set are sequences of adjacent integers all part of the set.

Sourceval fold : (int -> 'a -> 'a) -> t -> 'a -> 'a

fold f t x0 returns the final result of merging each element of t into x0 using merge function f

Sourceval fold_range : (int -> int -> 'a -> 'a) -> t -> 'a -> 'a

As fold, but operates on contiguous ranges

Sourceval for_all : (int -> bool) -> t -> bool

Tests whether a predicate applies to all elements of the set

Sourceval exists : (int -> bool) -> t -> bool

Test whether some element of a set satisfies a predicate

Sourceval filter : (int -> bool) -> t -> t

Builds the subset of those elements that satisfy the predicate

Sourceval partition : (int -> bool) -> t -> t * t

partitions the input set into two sets with elements that satisfy the predicate and those that don't

Sourceval cardinal : t -> int

Returns the number of elements in the set

Sourceval elements : t -> int list

Returns a list of all elements in the set

Sourceval ranges : t -> (int * int) list

Returns a list of all contiguous ranges in the set

Sourceval min_elt : t -> int

Returns the minimum element in the set

Sourceval max_elt : t -> int

Returns the maximum element in the set

Sourceval choose : t -> int

Returns some element in the set

Sourceval enum : t -> (int * int) BatEnum.t

Enumerates all contiguous ranges in the set

Sourceval of_enum : (int * int) BatEnum.t -> t
Sourceval of_list : (int * int) list -> t

Build a ISet.t out of a list or enum of ranges

Sourceval print : _ BatIO.output -> t -> unit