package mopsa

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

Module Utils_core.DnfSource

Disjunctive normal form.

Sourcetype 'a t
Sourceval singleton : 'a -> 'a t
Sourceval mk_true : 'a t
Sourceval mk_false : 'a t
Sourceval is_true : 'a t -> bool
Sourceval is_false : 'a t -> bool
Sourceval is_empty : 'a t -> bool
Sourceval mk_and : 'a t -> 'a t -> 'a t
Sourceval mk_or : 'a t -> 'a t -> 'a t
Sourceval mk_neg : ('a -> 'a t) -> 'a t -> 'a t
Sourceval map : ('a -> 'b) -> 'a t -> 'b t
Sourceval map_conjunction : ('a list -> 'b list) -> 'a t -> 'b t
Sourceval map_disjunction : ('a list -> 'b list) -> 'a t -> 'b t
Sourceval iter : ('a -> unit) -> 'a t -> unit
Sourceval reduce : ('a -> 'b) -> join:('b -> 'b -> 'b) -> meet:('b -> 'b -> 'b) -> 'a t -> 'b
Sourceval fold_reduce : ('a -> 'b -> 'a * 'c) -> join:('c -> 'c -> 'c) -> meet:('c -> 'c -> 'c) -> 'a -> 'b t -> 'a * 'c
Sourceval reduce_conjunction : ('a list -> 'b) -> join:('b -> 'b -> 'b) -> 'a t -> 'b
Sourceval fold_reduce_conjunction : ('a -> 'b list -> 'a * 'c) -> join:('c -> 'c -> 'c) -> 'a -> 'b t -> 'a * 'c
Sourceval reduce_disjunction : ('a list -> 'b) -> meet:('b -> 'b -> 'b) -> 'a t -> 'b
Sourceval fold_reduce_disjunction : ('a -> 'b list -> 'a * 'c) -> meet:('c -> 'c -> 'c) -> 'a -> 'b t -> 'a * 'c
Sourceval bind : ('a -> 'b t) -> 'a t -> 'b t
Sourceval fold_bind : ('a -> 'b -> 'a * 'c t) -> 'a -> 'b t -> 'a * 'c t
Sourceval bind_conjunction : ('a list -> 'b t) -> 'a t -> 'b t
Sourceval fold_bind_conjunction : ('a -> 'b list -> 'a * 'c t) -> 'a -> 'b t -> 'a * 'c t
Sourceval bind_disjunction : ('a list -> 'b t) -> 'a t -> 'b t
Sourceval fold_bind_disjunction : ('a -> 'b list -> 'a * 'c t) -> 'a -> 'b t -> 'a * 'c t
Sourceval fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b
Sourceval partition : ('a -> bool) -> 'a t -> 'a t option * 'a t option
Sourceval choose : 'a t -> 'a option
Sourceval to_list : 'a t -> 'a list list
Sourceval from_list : 'a list list -> 'a t
Sourceval print : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a t -> unit
Sourceval cardinal : 'a t -> int
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