package hardcaml

You can search for identifiers within the package.

in-package search v0.2.0

RTL Hardware Design in OCaml

Install

dune-project

Dependency

github.com Readme Changelog MIT License Edit opam file Versions (9)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

v0.17.1.tar.gz

md5=7435ee8610c2205c5f912b4bf09163b0

sha512=38d7cf428bd3491024212e52776ac582183d7b5f6a494589a3697d9a213fa18347d6eeea23327859c340b0cb3b967c08cd21a8a7f8d15cf2de20e5598cb8456d

doc/hardcaml/Hardcaml/Property_manager/index.html

Module `Hardcaml.Property_manager`Source

Sourcetype t

Sourceval sexp_of_t : t -> Sexplib0.Sexp.t

Sourceval create : Base.unit -> t

Sourceval add_ltl : t -> Base.string -> Property.LTL.path -> Base.unit

Add a named LTL property

Sourceval finalize : t -> Property.LTL.path Base.Map.M(Base.String).t

Disables adding new properties, and returns a map of the LTL properties added. Calling it again will return the map again

Sourceval atomic_propositions : t -> Signal.t Base.list

Finalizes the Property_manager if not already finalized, and return a list of all Signal.t used as atomic propositions. This list will not contain duplicates