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 ]

Package TC CC AC Ca Ce A I D V
org.sat4j.pb 14 13 1 4 19 7.0% 83.0% 10.0% 1
org.sat4j.pb.constraints 18 15 3 1 11 17.0% 92.0% 8.0% 1
org.sat4j.pb.constraints.pb 22 17 5 2 8 23.0% 80.0% 3.0% 1
org.sat4j.pb.core 7 5 2 2 9 29.0% 82.0% 10.0% 1
org.sat4j.pb.orders 1 1 0 2 7 0.0% 78.0% 22.0% 1
org.sat4j.pb.reader 5 5 0 1 9 0.0% 90.0% 10.0% 1
org.sat4j.pb.tools 10 9 1 1 8 10.0% 89.0% 1.0% 1

Packages

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

org.sat4j.pb

Afferent Couplings Efferent Couplings Abstractness Instability Distance
4 19 7.0% 83.0% 10.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
org.sat4j.pb.IPBSolver
 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.PseudoIteratorDecorator
org.sat4j.pb.PseudoOptDecorator
org.sat4j.pb.SolverFactory
org.sat4j.pb.UserFriendlyPBStringSolver
org.sat4j.pb.UserFriendlyPBStringSolver$1
 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.minisat.uip
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 Couplings Efferent Couplings Abstractness Instability Distance
1 11 17.0% 92.0% 8.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
org.sat4j.pb.constraints.AbstractPBDataStructureFactory
org.sat4j.pb.constraints.AbstractPBDataStructureFactory$INormalizer
 org.sat4j.pb.constraints.AbstractPBDataStructureFactory$1
org.sat4j.pb.constraints.AbstractPBDataStructureFactory$2
org.sat4j.pb.constraints.CompetMinHTmixedClauseCardConstrDataStructureFactory
org.sat4j.pb.constraints.CompetPBMaxMixedHTClauseCardConstrDataStructure
org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure
org.sat4j.pb.constraints.PBContainer
org.sat4j.pb.constraints.PBMaxCBClauseCardConstrDataStructure
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.PuebloPBMinClauseAtLeastConstrDataStructure
org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure
org.sat4j.pb.constraints.PuebloPBMinDataStructure
 org.sat4j.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 Couplings Efferent Couplings Abstractness Instability Distance
2 8 23.0% 80.0% 3.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
org.sat4j.pb.constraints.pb.IConflict
org.sat4j.pb.constraints.pb.IDataStructurePB
org.sat4j.pb.constraints.pb.PBConstr
org.sat4j.pb.constraints.pb.Pseudos
org.sat4j.pb.constraints.pb.WatchPb
 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.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.MinWatchCardPB
org.sat4j.pb.constraints.pb.MinWatchPb
org.sat4j.pb.constraints.pb.MixableCBClausePB
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
org.sat4j.pb.core
 java.io
java.lang
java.math
org.sat4j.core
org.sat4j.minisat.constraints.card
org.sat4j.minisat.constraints.cnf
org.sat4j.minisat.core
org.sat4j.specs

org.sat4j.pb.core

Afferent Couplings Efferent Couplings Abstractness Instability Distance
2 9 29.0% 82.0% 10.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
org.sat4j.pb.core.PBDataStructureFactory
org.sat4j.pb.core.PBSolver
 org.sat4j.pb.core.PBSolverCP
org.sat4j.pb.core.PBSolverClause
org.sat4j.pb.core.PBSolverMerging
org.sat4j.pb.core.PBSolverResolution
org.sat4j.pb.core.PBSolverWithImpliedClause
 org.sat4j.pb
org.sat4j.pb.constraints
 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 Couplings Efferent Couplings Abstractness Instability Distance
2 7 0.0% 78.0% 22.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
None 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 Couplings Efferent Couplings Abstractness Instability Distance
1 9 0.0% 90.0% 10.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
None org.sat4j.pb.reader.OPBEclipseReader2007
org.sat4j.pb.reader.OPBReader2005
org.sat4j.pb.reader.OPBReader2006
org.sat4j.pb.reader.OPBReader2007
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 Couplings Efferent Couplings Abstractness Instability Distance
1 8 10.0% 89.0% 1.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
org.sat4j.pb.tools.INegator
 org.sat4j.pb.tools.DependencyHelper
org.sat4j.pb.tools.DependencyHelper$1
org.sat4j.pb.tools.DisjunctionRHS
org.sat4j.pb.tools.ImplicationAnd
org.sat4j.pb.tools.ImplicationNamer
org.sat4j.pb.tools.ImplicationRHS
org.sat4j.pb.tools.StringNegator
org.sat4j.pb.tools.WeightedObject
org.sat4j.pb.tools.XplainPB
 org.sat4j.pb
 java.lang
java.math
java.util
org.sat4j.core
org.sat4j.pb
org.sat4j.specs
org.sat4j.tools
org.sat4j.tools.xplain

Cycles

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

Package Package Dependencies
org.sat4j.pb org.sat4j.pb.reader
org.sat4j.pb
org.sat4j.pb.constraints org.sat4j.pb.core
org.sat4j.pb
org.sat4j.pb.reader
org.sat4j.pb
org.sat4j.pb.core org.sat4j.pb
org.sat4j.pb.reader
org.sat4j.pb
org.sat4j.pb.orders org.sat4j.pb
org.sat4j.pb.reader
org.sat4j.pb
org.sat4j.pb.reader org.sat4j.pb
org.sat4j.pb.reader
org.sat4j.pb.tools org.sat4j.pb
org.sat4j.pb.reader
org.sat4j.pb

Explanation

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

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

Term Description
Number of Classes The number of concrete and abstract classes (and interfaces) in the package is an indicator of the extensibility of the package.
Afferent Couplings The number of other packages that depend upon classes within the package is an indicator of the package's responsibility.
Efferent Couplings The number of other packages that the classes in the package depend upon is an indicator of the package's independence.
Abstractness The 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.
Instability The 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.
Distance The 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.
Cycles Packages 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.