Dose_algo.DefaultgraphsSourceinclude sig ... endgeneric operation over imperative graphs
Syntactic dependency graph. Vertices are cudf packages, OR nodes representing a disjunctive dependency, or Missing nodes representing a missing package. The latter is used to display explanation graphs. Vertices are indexed considering only the pair name,version . Edges are labelled with
Imperative bidirectional graph for dependecies. Imperative unidirectional graph for conflicts.
Integer Imperative Bidirectional Graph. Mainly used in Strong Conflicts