kalzium/src/solver/datastruct.mli

   1 class eqtable :
   2   object
   3     val mutable m_middle : int
   4     val mutable m_solved : bool
   5     val mutable numtbl : int array array
   6     val mutable soltbl : int array
   7     val mutable strtbl : string array
   8     val mutable vartbl : string array
   9     method build : Chemset.listitems -> unit
  10     method clear : unit -> unit
  11     method get_eq_orig : unit -> string
  12     method get_eq_sol : unit -> string
  13     method getformula : int -> string
  14     method getline : int -> int array
  15     method getsize_i : unit -> int
  16     method getsize_j : unit -> int
  17     method getsol : int -> int
  18     method getvar : int -> string
  19     method private init : int -> int -> unit
  20     method isSolved : unit -> bool
  21     method print_all : unit -> unit
  22     method setsol : int -> int -> unit
  23   end