sawja
  1. Overview
  2. Docs
package sawja
Legend:
Library
Module
Module type
Parameter
Class
Class type
type (!'var, !'dom, !'tf) manager = {
  1. string_of_var : 'var -> string;
  2. bot : 'dom;
  3. join : 'dom -> 'dom -> 'dom;
  4. leq : 'dom -> 'dom -> bool;
  5. normalize : 'dom -> 'dom;
  6. eval : 'tf -> 'dom list -> 'dom;
  7. is_id : 'tf -> bool;
  8. is_strict : 'tf -> bool;
  9. cstrs : 'tf list;
  10. target : 'tf -> 'var;
  11. args : 'tf -> 'var list;
  12. verbose : bool;
  13. dom_to_string : 'dom -> string;
  14. transfer_to_string : 'tf -> string;
  15. transfer_to_dot_string : 'tf -> string;
  16. update_transfer : 'tf -> 'var -> 'var -> 'tf;
}
exception UndefinedVar of string
val run : ('var, 'dom, 'tf) manager -> 'var -> 'dom
type (!'var, !'dom, !'tf) mutable_manager = {
  1. m_string_of_var : 'var -> string;
  2. m_bot : unit -> 'dom;
  3. m_is_top : 'dom -> bool;
  4. m_eval_and_join : 'tf -> 'dom list -> 'dom -> bool;
  5. m_eval : 'tf -> 'dom list -> 'dom -> bool;
  6. m_is_id : 'tf -> bool;
  7. m_is_strict : 'tf -> bool;
  8. m_cstrs : 'tf list;
  9. m_target : 'tf -> 'var;
  10. m_args : 'tf -> 'var list;
  11. m_verbose : bool;
  12. m_dom_to_string : 'dom -> string;
  13. m_transfer_to_string : 'tf -> string;
  14. m_transfer_to_dot_string : 'tf -> string;
  15. m_update_transfer : 'tf -> 'var -> 'var -> 'tf;
}
val m_run : ('var, 'dom, 'tf) mutable_manager -> 'var -> 'dom
val mutable_manager_of_manager : ('var, 'dom, 'tf) manager -> ('var, 'dom ref, 'tf) mutable_manager