Index of class methods


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