package sawja

  1. Overview
  2. Docs
package sawja
Legend:
Library
Module
Module type
Parameter
Class
Class type
type use_formula =
  1. | F_Default
  2. | F_Perso of fh
val empty_formula : 'a list
val neg_cond : ([< `Eq | `Ge | `Gt | `Le | `Lt | `Ne ] * 'a * 'b) -> [> `Eq | `Ge | `Gt | `Le | `Lt | `Ne ] * 'a * 'b
exception Not_a_decision_tree
exception Not_a_boolean_affectation
type cond = [ `Eq | `Ge | `Gt | `Le | `Lt | `Ne ] * expr * expr
type decision_tree =
  1. | LeafTrue
  2. | LeafFalse
  3. | Node of cond * decision_tree * decision_tree
val compute_decision_tree : instr array -> var -> int -> int -> decision_tree
val remove_code : instr array -> int -> int -> unit
val cons_and : 'a -> 'a list list -> 'a list list
val guard_of_decision_tree : decision_tree -> formula
val build_boolean_expr : instr array -> var -> int -> int -> formula option
val first_nop : instr array -> int -> int
val extract_fomula_aux : Javalib_pack.JBasics.class_method_signature list -> (int -> int) Lazy.t -> instr array -> int -> (Javalib_pack.JBasics.class_method_signature * formula) option
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