Metric Results

[ summary ] [ packages ] [ cycles ] [ explanations ]

The following document contains the results of a JDepend metric analysis. The various metrics are defined at the bottom of this document.

Summary

[ summary ] [ packages ] [ cycles ] [ explanations ]

PackageTCCCACCaCeAIDV
org.sat4j.pb161515186.0%78.0%15.000001%1
org.sat4j.pb.constraints3933621115.000001%85.0%0.0%1
org.sat4j.pb.constraints.pb3123831126.0%79.0%4.0%1
org.sat4j.pb.core108221020.0%83.0%3.0%1
org.sat4j.pb.orders3212733.0%78.0%11.0%1
org.sat4j.pb.reader660190.0%90.0%10.0%1
org.sat4j.pb.tools171611106.0%91.0%3.0%1

Packages

[ summary ] [ packages ] [ cycles ] [ explanations ]

org.sat4j.pb

Afferent CouplingsEfferent CouplingsAbstractnessInstabilityDistance
5186.0%78.0%15.000001%
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
org.sat4j.pb.IPBSolver
org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator
org.sat4j.pb.LanceurPseudo2005
org.sat4j.pb.LanceurPseudo2007
org.sat4j.pb.LanceurPseudo2007Eclipse
org.sat4j.pb.OPBStringSolver
org.sat4j.pb.OPBStringSolver$1
org.sat4j.pb.ObjectiveFunction
org.sat4j.pb.OptToPBSATAdapter
org.sat4j.pb.PBSolverDecorator
org.sat4j.pb.PseudoBitsAdderDecorator
org.sat4j.pb.PseudoIteratorDecorator
org.sat4j.pb.PseudoOptDecorator
org.sat4j.pb.SolverFactory
org.sat4j.pb.UserFriendlyPBStringSolver
org.sat4j.pb.UserFriendlyPBStringSolver$1
org.sat4j.pb.constraints.pb
org.sat4j.pb.core
org.sat4j.pb.orders
org.sat4j.pb.reader
org.sat4j.pb.tools
java.io
java.lang
java.math
java.util
org.sat4j
org.sat4j.core
org.sat4j.minisat.core
org.sat4j.minisat.learning
org.sat4j.minisat.orders
org.sat4j.minisat.restarts
org.sat4j.pb.constraints
org.sat4j.pb.core
org.sat4j.pb.orders
org.sat4j.pb.reader
org.sat4j.pb.tools
org.sat4j.reader
org.sat4j.specs
org.sat4j.tools

org.sat4j.pb.constraints

Afferent CouplingsEfferent CouplingsAbstractnessInstabilityDistance
21115.000001%85.0%0.0%
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
org.sat4j.pb.constraints.AbstractPBDataStructureFactory
org.sat4j.pb.constraints.AbstractPBDataStructureFactory$INormalizer
org.sat4j.pb.constraints.ICardConstructor
org.sat4j.pb.constraints.IClauseConstructor
org.sat4j.pb.constraints.IPBConstructor
org.sat4j.pb.constraints.AbstractPBDataStructureFactory$1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory$2
org.sat4j.pb.constraints.AtLeastCardConstructor
org.sat4j.pb.constraints.AtLeastCardPBConstructor
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory
org.sat4j.pb.constraints.CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure
org.sat4j.pb.constraints.CompetResolutionPBLongMixedHTClauseCardConstrDataStructure
org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure
org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure
org.sat4j.pb.constraints.MaxLongWatchPBCPConstructor
org.sat4j.pb.constraints.MaxLongWatchPBConstructor
org.sat4j.pb.constraints.MaxWatchPBConstructor
org.sat4j.pb.constraints.MinCardConstructor
org.sat4j.pb.constraints.MinCardPBConstructor
org.sat4j.pb.constraints.MinLongWatchPBCPConstructor
org.sat4j.pb.constraints.MinLongWatchPBConstructor
org.sat4j.pb.constraints.MinWatchPBConstructor
org.sat4j.pb.constraints.PBContainer
org.sat4j.pb.constraints.PBLongMaxClauseCardConstrDataStructure
org.sat4j.pb.constraints.PBLongMinClauseCardConstrDataStructure
org.sat4j.pb.constraints.PBMaxClauseAtLeastConstrDataStructure
org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure
org.sat4j.pb.constraints.PBMaxDataStructure
org.sat4j.pb.constraints.PBMinClauseCardConstrDataStructure
org.sat4j.pb.constraints.PBMinDataStructure
org.sat4j.pb.constraints.PuebloMinWatchPBConstructor
org.sat4j.pb.constraints.PuebloPBMinClauseAtLeastConstrDataStructure
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure
org.sat4j.pb.constraints.PuebloPBMinDataStructure
org.sat4j.pb.constraints.UnitBinaryHTClauseConstructor
org.sat4j.pb.constraints.UnitBinaryHTClausePBConstructor
org.sat4j.pb.constraints.UnitBinaryWLClauseConstructor
org.sat4j.pb
org.sat4j.pb.constraints.pb
java.lang
java.lang.reflect
java.math
org.sat4j.core
org.sat4j.minisat.constraints
org.sat4j.minisat.constraints.card
org.sat4j.minisat.constraints.cnf
org.sat4j.minisat.core
org.sat4j.pb.constraints.pb
org.sat4j.pb.core
org.sat4j.specs

org.sat4j.pb.constraints.pb

Afferent CouplingsEfferent CouplingsAbstractnessInstabilityDistance
31126.0%79.0%4.0%
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
org.sat4j.pb.constraints.pb.IConflict
org.sat4j.pb.constraints.pb.IDataStructurePB
org.sat4j.pb.constraints.pb.IWatchPb
org.sat4j.pb.constraints.pb.PBConstr
org.sat4j.pb.constraints.pb.Pseudos
org.sat4j.pb.constraints.pb.WatchPb
org.sat4j.pb.constraints.pb.WatchPbLong
org.sat4j.pb.constraints.pb.WatchPbLongCP
org.sat4j.pb.constraints.pb.AtLeastPB
org.sat4j.pb.constraints.pb.ConflictMap
org.sat4j.pb.constraints.pb.ConflictMapCardinality
org.sat4j.pb.constraints.pb.ConflictMapClause
org.sat4j.pb.constraints.pb.ConflictMapMerging
org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause
org.sat4j.pb.constraints.pb.InternalMapPBStructure
org.sat4j.pb.constraints.pb.LearntBinaryClausePB
org.sat4j.pb.constraints.pb.LearntHTClausePB
org.sat4j.pb.constraints.pb.MapPb
org.sat4j.pb.constraints.pb.MaxWatchPb
org.sat4j.pb.constraints.pb.MaxWatchPbLong
org.sat4j.pb.constraints.pb.MaxWatchPbLongCP
org.sat4j.pb.constraints.pb.MinWatchCardPB
org.sat4j.pb.constraints.pb.MinWatchPb
org.sat4j.pb.constraints.pb.MinWatchPbLong
org.sat4j.pb.constraints.pb.MinWatchPbLongCP
org.sat4j.pb.constraints.pb.MinWatchPbLongLimit
org.sat4j.pb.constraints.pb.OriginalBinaryClausePB
org.sat4j.pb.constraints.pb.OriginalHTClausePB
org.sat4j.pb.constraints.pb.PuebloMinWatchPb
org.sat4j.pb.constraints.pb.UnitClausePB
org.sat4j.pb.constraints.pb.UnitClausesPB
org.sat4j.pb.constraints
org.sat4j.pb.core
org.sat4j.pb.tools
java.io
java.lang
java.math
java.util
org.sat4j.core
org.sat4j.minisat.constraints.card
org.sat4j.minisat.constraints.cnf
org.sat4j.minisat.core
org.sat4j.pb
org.sat4j.pb.constraints
org.sat4j.specs

org.sat4j.pb.core

Afferent CouplingsEfferent CouplingsAbstractnessInstabilityDistance
21020.0%83.0%3.0%
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
org.sat4j.pb.core.PBDataStructureFactory
org.sat4j.pb.core.PBSolver
org.sat4j.pb.core.PBSolverCP
org.sat4j.pb.core.PBSolverCautious
org.sat4j.pb.core.PBSolverClause
org.sat4j.pb.core.PBSolverMerging
org.sat4j.pb.core.PBSolverResCP
org.sat4j.pb.core.PBSolverResolution
org.sat4j.pb.core.PBSolverStats
org.sat4j.pb.core.PBSolverWithImpliedClause
org.sat4j.pb
org.sat4j.pb.constraints
java.io
java.lang
java.math
org.sat4j.core
org.sat4j.minisat.core
org.sat4j.minisat.restarts
org.sat4j.pb
org.sat4j.pb.constraints.pb
org.sat4j.pb.orders
org.sat4j.specs

org.sat4j.pb.orders

Afferent CouplingsEfferent CouplingsAbstractnessInstabilityDistance
2733.0%78.0%11.0%
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
org.sat4j.pb.orders.IOrderObjective
org.sat4j.pb.orders.RandomWalkDecoratorObjective
org.sat4j.pb.orders.VarOrderHeapObjective
org.sat4j.pb
org.sat4j.pb.core
java.lang
java.math
org.sat4j.core
org.sat4j.minisat.core
org.sat4j.minisat.orders
org.sat4j.pb
org.sat4j.specs

org.sat4j.pb.reader

Afferent CouplingsEfferent CouplingsAbstractnessInstabilityDistance
190.0%90.0%10.0%
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
Noneorg.sat4j.pb.reader.OPBEclipseReader2007
org.sat4j.pb.reader.OPBReader2005
org.sat4j.pb.reader.OPBReader2006
org.sat4j.pb.reader.OPBReader2007
org.sat4j.pb.reader.OPBReader2010
org.sat4j.pb.reader.PBInstanceReader
org.sat4j.pb
java.io
java.lang
java.math
java.net
java.util
org.sat4j.core
org.sat4j.pb
org.sat4j.reader
org.sat4j.specs

org.sat4j.pb.tools

Afferent CouplingsEfferent CouplingsAbstractnessInstabilityDistance
1106.0%91.0%3.0%
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
org.sat4j.pb.tools.INegator
org.sat4j.pb.tools.ClausalConstraintsDecorator
org.sat4j.pb.tools.ConflictTracing
org.sat4j.pb.tools.DependencyHelper
org.sat4j.pb.tools.DependencyHelper$1
org.sat4j.pb.tools.DependencyHelper$2
org.sat4j.pb.tools.DependencyHelper$Negation
org.sat4j.pb.tools.DisjunctionRHS
org.sat4j.pb.tools.ImplicationAnd
org.sat4j.pb.tools.ImplicationNamer
org.sat4j.pb.tools.ImplicationRHS
org.sat4j.pb.tools.LexicoDecoratorPB
org.sat4j.pb.tools.LexicoHelper
org.sat4j.pb.tools.ManyCorePB
org.sat4j.pb.tools.StringNegator
org.sat4j.pb.tools.WeightedObject
org.sat4j.pb.tools.XplainPB
org.sat4j.pb
java.io
java.lang
java.math
java.util
org.sat4j.core
org.sat4j.pb
org.sat4j.pb.constraints.pb
org.sat4j.specs
org.sat4j.tools
org.sat4j.tools.xplain

Cycles

[ summary ] [ packages ] [ cycles ] [ explanations ]

PackagePackage Dependencies
org.sat4j.pborg.sat4j.pb.constraints
org.sat4j.pb.constraints.pb
org.sat4j.pb
org.sat4j.pb.constraintsorg.sat4j.pb.constraints.pb
org.sat4j.pb
org.sat4j.pb.constraints
org.sat4j.pb.constraints.pborg.sat4j.pb
org.sat4j.pb.constraints
org.sat4j.pb.constraints.pb
org.sat4j.pb.coreorg.sat4j.pb.constraints.pb
org.sat4j.pb
org.sat4j.pb.constraints
org.sat4j.pb.constraints.pb
org.sat4j.pb.ordersorg.sat4j.pb
org.sat4j.pb.constraints
org.sat4j.pb.constraints.pb
org.sat4j.pb
org.sat4j.pb.readerorg.sat4j.pb
org.sat4j.pb.constraints
org.sat4j.pb.constraints.pb
org.sat4j.pb
org.sat4j.pb.toolsorg.sat4j.pb
org.sat4j.pb.constraints
org.sat4j.pb.constraints.pb
org.sat4j.pb

Explanation

[ summary ] [ packages ] [ cycles ] [ explanations ]

The following explanations are for quick reference and are lifted directly from the original JDepend documentation.

TermDescription
Number of ClassesThe number of concrete and abstract classes (and interfaces) in the package is an indicator of the extensibility of the package.
Afferent CouplingsThe number of other packages that depend upon classes within the package is an indicator of the package's responsibility.
Efferent CouplingsThe number of other packages that the classes in the package depend upon is an indicator of the package's independence.
AbstractnessThe ratio of the number of abstract classes (and interfaces) in the analyzed package to the total number of classes in the analyzed package. The range for this metric is 0 to 1, with A=0 indicating a completely concrete package and A=1 indicating a completely abstract package.
InstabilityThe ratio of efferent coupling (Ce) to total coupling (Ce / (Ce + Ca)). This metric is an indicator of the package's resilience to change. The range for this metric is 0 to 1, with I=0 indicating a completely stable package and I=1 indicating a completely instable package.
DistanceThe perpendicular distance of a package from the idealized line A + I = 1. This metric is an indicator of the package's balance between abstractness and stability. A package squarely on the main sequence is optimally balanced with respect to its abstractness and stability. Ideal packages are either completely abstract and stable (x=0, y=1) or completely concrete and instable (x=1, y=0). The range for this metric is 0 to 1, with D=0 indicating a package that is coincident with the main sequence and D=1 indicating a package that is as far from the main sequence as possible.
CyclesPackages participating in a package dependency cycle are in a deadly embrace with respect to reusability and their release cycle. Package dependency cycles can be easily identified by reviewing the textual reports of dependency cycles. Once these dependency cycles have been identified with JDepend, they can be broken by employing various object-oriented techniques.