← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/solver/chemset.mli

  • Committer: Bazaar Package Importer
  • Author(s): Philip Muškovac
  • Date: 2011-07-03 12:28:58 UTC
  • Revision ID: james.westby@ubuntu.com-20110703122858-q1yyxncs89e4w0hs
Tags: upstream-4.6.90+repack
Import upstream version 4.6.90+repack

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/solver/chemset.mli
 
1
type chemtbl = (string, int) Hashtbl.t
 
2
and chemrecord = { mutable hashtbl : chemtbl; mutable formula : string; }
 
3
and item = { ikey : string; itbl : chemrecord; mutable sign : int; }
 
4
and listitems = item list
 
5
val chem_addsym : chemtbl -> string -> int -> unit
 
6
val chem_add : chemrecord -> chemrecord -> chemrecord
 
7
val chem_mult : chemrecord -> int -> chemrecord
 
8
val createchem : string -> int -> chemrecord
 
9
val chem_negate : listitems -> unit
 
10
val chem_printitem : item -> unit