A | |
add [Depsolver_int.identity] | |
add [Depsolver_int.intprojection] |
add a package id to the map
|
I | |
inttovar [Depsolver_int.identity] | |
inttovar [Depsolver_int.intprojection] | |
V | |
vartoint [Depsolver_int.identity] | |
vartoint [Depsolver_int.intprojection] |
given a package id return a sat solver variable
raise Not_found if the package id is not known
|