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
|