package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Powersetwithunder.MakeSource

Powerset with lower and upper approximations

Parameters

module Elt : ELT

Signature

module Set : sig ... end
Sourcemodule USet : sig ... end
Sourcetype l = Set.t
Sourcetype u = USet.t
Sourceval empty : t
Sourceval bottom : t
Sourceval top : t
Sourceval add_u : Elt.t -> t -> t
Sourceval add_o : Elt.t -> t -> t
Sourceval mem_u : Elt.t -> t -> bool
Sourceval mem_o : Elt.t -> t -> bool
Sourceval remove : Elt.t -> t -> t
Sourceval is_empty : t -> bool
Sourceval is_bottom : 'a Mopsa_utils.Bot.with_bot -> bool
Sourceval is_top : t -> bool
Sourceval subset : t -> t -> bool
Sourceval equal : t -> t -> bool
Sourceval join : t -> t -> t
Sourceval meet : t -> t -> t
Sourceval union : t -> t -> t
Sourceval inter : t -> t -> t
Sourceval widen : 'a Core.Context.ctx -> t -> t -> t
Sourceval fold_u : (Elt.t -> 'a -> 'a) -> t -> 'a -> 'a
Sourceval fold_o : (Elt.t -> 'a -> 'a) -> t -> 'a -> 'a
Sourceval print : Core.All.printer -> t -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct