package mopsa

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

Hook header

***************

val name : string
val debug : ('a, Format.formatter, unit, unit) format4 -> 'a

Utility functions

*********************

val is_interesting_condition : Mopsa.expr -> bool

A condition is interesting if it is a comparison between numeric expressions

val constant_folding : Mopsa.expr -> ('a, 'b) Mopsa.man -> 'a Core.Flow.flow -> Mopsa.ExprSet.t

Simple constant folding transformation. Variables that evaluate to singleton intervals are replaced with their value. Also, operations between constants are simplified.

module ThresholdSet : sig ... end
val find_vars_comparisons_in_expr : Ast.Expr.expr -> ThresholdSet.t

Events handlers

*******************

val init : 'a -> 'a
val loops : int ref
val on_before_exec : 'a -> Mopsa.stmt -> 'b -> 'c -> 'd option
val on_after_exec : 'a -> Mopsa.stmt -> ('b, 'c) Mopsa.man -> 'b Core.Flow.flow -> ('d, 'e) Mopsa.Cases.cases -> 'd Core.All.ctx option
val on_before_eval : 'a -> 'b -> 'c -> 'd -> 'e -> 'f option
val on_after_eval : 'a -> 'b -> 'c -> 'd -> 'e -> 'f -> 'g option
val on_finish : 'a -> 'b -> 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