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