~ubuntu-branches/ubuntu/precise/kalzium/precise

« back to all changes in this revision

Viewing changes to src/solver/datastruct.mli

• browse files at revision 1
• compare with another revision
• download diff
• download tarball
• view history from revision 1

Show diffs side-by-side

added

removed

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

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1