package mopsa

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

Reduction rules for products of values abstractions

Reduction manager

type 'a value_reduction_man = {
  1. get : 'r. 'r Core.Id.id -> 'a -> 'r;
    (*

    get id pv returns the value of domain with identifier id in the product value pv

    *)
  2. set : 'r. 'r Core.Id.id -> 'r -> 'a -> 'a;
    (*

    set id v pv sets the value of domain with identifier id in the product value pv

    *)
}

Manager for value reduction rules

Signature

module type VALUE_REDUCTION = sig ... end

Registration

val register_value_reduction : (module VALUE_REDUCTION) -> unit

Register a new value reduction

val find_value_reduction : string -> (module VALUE_REDUCTION)

Find a value reduction by its name

val simplified_value_reductions : unit -> string list

List all simplified value reductions

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