Class Depsolver_int.intprojection

class intprojection : int -> object .. end
associate a sat solver variable to a package id

val vartoint : int Common.Util.IntHashtbl.t
val inttovar : Common.Util.IntHashtbl.key array
val mutable counter : int
method add : Common.Util.IntHashtbl.key -> unit
add a package id to the map
method vartoint : Common.Util.IntHashtbl.key -> int
given a package id return a sat solver variable raise Not_found if the package id is not known
method inttovar : int -> Common.Util.IntHashtbl.key