package dose3
Dose library (part of Mancoosi tools)
Install
Dune Dependency
Authors
Maintainers
Sources
dose3-7.0.0.tar.gz
md5=bc99cbcea8fca29dca3ebbee54be45e1
sha512=98dc4bd28e9f4aa8384be71b31783ae1afac577ea587118b8457b554ffe302c98e83d0098971e6b81803ee5c4f2befe3a98ef196d6b0da8feb4121e982ad5c2f
doc/dose3.algo/Dose_algo/Defaultgraphs/IntPkgGraph/index.html
Module Defaultgraphs.IntPkgGraph
Source
Integer Imperative Bidirectional Graph. Mainly used in Strong Conflicts
add to the graph all conjunctive dependencies of package id
for all id \in idlist add to the graph all conjunctive dependencies
given a graph return the conjunctive dependency closure of the package id
Build the dependency graph from the given index. conjunctive and disjunctive dependencies are considered as equal
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>