Class type Common.Util.projection

class type projection = object .. end

associate a sat solver variable to a package id


method add : int -> unit

add a package id to the map

given a package id return a sat solver variable raise Not_found if the package id is not known

method inttovar : int -> int

given a sat solver variable return a package id

method vartoint : int -> int
method size : int