ON THIS PAGE
package dose3
-
dose3.algo
-
-
dose3.versioning
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
dose3 7.0.0
Libraries
This package provides the following libraries (via dune):
dose3.algo
Documentation:
Dose_algo.DefaultgraphsDose_algo.DepsolverDependency solver. Implementation of the Edos algorithmsDose_algo.Depsolver_intDependency solver. Low Level APIDose_algo.DiagnosticDose_algo.DominatorsDose_algo.FlattenDose_algo.StatisticsSmall World analisysDose_algo.StrongconflictsDose_algo.Strongconflicts_intStrong ConflictsDose_algo.StrongdepsStrong Dependencies
Dependencies: extlib, cudf, dose3.common, ocamlgraph
dose3.common
Documentation:
Dose_common.CudfAddLibrary of additional functions for the CUDF format.Dose_common.CudfDiffDose_common.CudfSolverDose_common.EdosSolverEdos sat solverDose_common.GitVersionInfoDose_common.Shell_lexerDose_common.UtilDose_common.VersionInfo
Dependencies: extlib, cudf, re.pcre, stdlib-shims, unix
dose3.versioning
Documentation:
Dose_versioning.DebianFunctions for manipulating and comparing Debian version strings. Compliant with Debian policy version 3.9.2. and Debian developers reference version 3.4.6Dose_versioning.SemverDose_versioning.SemverNodethis functions follow the semantic versioning specification http://semver.org/Dose_versioning.Utils
Dependencies: extlib, cudf, dose3.common
ON THIS PAGE