Module `Dose_algo.Flatten`Source

include sig ... end

Sourceval it : Dose_common__Util.Info.t

Sourceval info : ('a, unit, string, unit) format4 -> 'a

Sourceval nt : Dose_common__Util.Notice.t

Sourceval notice : ('a, unit, string, unit) format4 -> 'a

Sourceval wt : Dose_common__Util.Warning.t

Sourceval warning : ('a, unit, string, unit) format4 -> 'a

Sourceval dt : Dose_common__Util.Debug.t

Sourceval debug : ('a, unit, string, unit) format4 -> 'a

Sourceval fatal : ('a, unit, string, 'b) format4 -> 'a

Source

val print_list : 
  Format.formatter ->
  (Format.formatter -> 'a -> unit) ->
  string ->
  'a list ->
  unit

Sourcemodule Package : sig ... end

Sourcemodule PSet : sig ... end

Source

val print_set : 
  Format.formatter ->
  (Format.formatter -> PSet.elt -> unit) ->
  string ->
  PSet.t ->
  unit

Sourceval pset_of_lst : PSet.elt list -> PSet.t

Sourceval pset_map : (PSet.elt -> PSet.elt) -> PSet.t -> PSet.t

Sourcemodule PTbl : sig ... end

Sourcemodule Disj : sig ... end

Sourcemodule CSet : sig ... end

Sourcemodule Formula : sig ... end

Sourcemodule Conflict : sig ... end

Sourceval simplify_formula : PSet.t array -> PSet.t list -> PSet.t list

Sourceval filter_conflicts : PSet.t array -> 'a -> PSet.t list -> PSet.t list

Source

val flatten_deps : 
  (PSet.elt, PSet.t list) ExtLib.Hashtbl.t ->
  PSet.t list array ->
  PSet.t array ->
  PSet.elt list ->
  PSet.t list ->
  PSet.t list * PSet.t

Source

val flatten_dep : 
  (PSet.elt, PSet.t list) ExtLib.Hashtbl.t ->
  PSet.t list array ->
  PSet.t array ->
  PSet.elt list ->
  PSet.elt ->
  PSet.t list * PSet.t

Source

val flatten_dependencies : 
  int ->
  PSet.t list array ->
  PSet.t array ->
  PSet.t list array

Source

val remove_self_conflicts : 
  PSet.t list array ->
  PSet.t array ->
  PSet.t list array

Source

val remove_redundant_conflicts : 
  PSet.t list array ->
  PSet.t array ->
  PSet.t list array

Source

val maybe_remove : 
  PSet.t list array ->
  PSet.t array ->
  'a ->
  'b ->
  PSet.t ->
  bool

Source

val is_composition : 
  PSet.t list array ->
  PSet.elt ->
  PSet.t list ->
  PSet.t ->
  bool

Sourceval remove_deps : PSet.t list array -> PSet.t array -> PSet.t list array

Sourceval repository : Cudf.universe -> PSet.t list array * PSet.t array

Source

val flatten_repository : 
  int ->
  (PSet.t list array * PSet.t array) ->
  PSet.t list array * PSet.t array

Install

Dune Dependency

Authors

Maintainers

Sources

doc/dose3.algo/Dose_algo/Flatten/index.html

Module `Dose_algo.Flatten`Source

package dose3

Install

Dune Dependency

Authors

Maintainers

Sources

doc/dose3.algo/Dose_algo/Flatten/index.html

Module Dose_algo.FlattenSource

Module `Dose_algo.Flatten`Source