Index of class types


P
projection [Common.Util]
associate a sat solver variable to a package id