src/solver/datastruct.mli

0001 class eqtable :
0002   object
0003     val mutable m_middle : int
0004     val mutable m_solved : bool
0005     val mutable numtbl : int array array
0006     val mutable soltbl : int array
0007     val mutable strtbl : string array
0008     val mutable vartbl : string array
0009     method build : Chemset.listitems -> unit
0010     method clear : unit -> unit
0011     method get_eq_orig : unit -> string
0012     method get_eq_sol : unit -> string
0013     method getformula : int -> string
0014     method getline : int -> int array
0015     method getsize_i : unit -> int
0016     method getsize_j : unit -> int
0017     method getsol : int -> int
0018     method getvar : int -> string
0019     method private init : int -> int -> unit
0020     method isSolved : unit -> bool
0021     method print_all : unit -> unit
0022     method setsol : int -> int -> unit
0023   end