package dose3

  1. Overview
  2. Docs
package dose3
Legend:
Library
Module
Module type
Parameter
Class
Class type

intprojection n integer projection of size n

method add : int -> unit

add a package id to the map

method inttovar : int -> int

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

method vartoint : int -> int

given a sat solver variable return a package id

method size : int