package dose3

You can search for identifiers within the package.

in-package search v0.2.0

Dose library (part of Mancoosi tools)

Install

md5=bc99cbcea8fca29dca3ebbee54be45e1

sha512=98dc4bd28e9f4aa8384be71b31783ae1afac577ea587118b8457b554ffe302c98e83d0098971e6b81803ee5c4f2befe3a98ef196d6b0da8feb4121e982ad5c2f

Sourcetype t = PSet.t

Sourceval print : Cudf.universe -> Format.formatter -> PSet.t -> unit

Sourceval implies : PSet.t -> PSet.t -> bool

Sourceval equiv : PSet.t -> PSet.t -> bool

Sourceval lit : PSet.elt -> PSet.t

Sourceval lit_disj : PSet.elt list -> PSet.t

Sourceval _false : PSet.t

Sourceval disj : PSet.t -> PSet.t -> PSet.t

Sourceval disjl : PSet.t list -> PSet.t

Sourceval iter : PSet.t -> (PSet.elt -> unit) -> unit

Sourceval cut : PSet.t -> PSet.elt -> PSet.t -> PSet.t

Sourceval fold : (PSet.elt -> 'a -> 'a) -> PSet.t -> 'a -> 'a

Sourceval for_all : (PSet.elt -> bool) -> PSet.t -> bool

Sourceval exists : (PSet.elt -> bool) -> PSet.t -> bool

Sourceval implies1 : PSet.elt -> PSet.t -> bool

Sourceval to_lit : PSet.t -> PSet.elt option

Sourceval to_lits : 'a -> 'a

Sourceval filter : (PSet.elt -> bool) -> PSet.t -> PSet.t

Sourceval normalize : PSet.t -> PSet.t

Sourceval compare : PSet.t -> PSet.t -> int