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