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 10 9 1 3 17 10.0% 85.0% 5.0% 1
org.sat4j.pb.constraints 13 10 3 1 9 23.0% 90.0% 13.0% 1
org.sat4j.pb.constraints.pb 21 15 6 2 8 29.0% 80.0% 9.0% 1
org.sat4j.pb.core 7 5 2 2 10 29.0% 83.0% 12.0% 1
org.sat4j.pb.orders 1 1 0 2 7 0.0% 78.0% 22.0% 1
org.sat4j.pb.reader 6 6 0 1 9 0.0% 90.0% 10.0% 1

Packages

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

org.sat4j.pb

Afferent Couplings Efferent Couplings Abstractness Instability Distance
3 17 10.0% 85.0% 5.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.ObjectiveFunction
org.sat4j.pb.OptToPBSATAdapter
org.sat4j.pb.PBSolverDecorator
org.sat4j.pb.PseudoOptDecorator
org.sat4j.pb.SolverFactory
org.sat4j.pb.core
org.sat4j.pb.orders
org.sat4j.pb.reader
java.io
java.lang
java.math
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.reader
org.sat4j.specs
org.sat4j.tools

org.sat4j.pb.constraints

Afferent Couplings Efferent Couplings Abstractness Instability Distance
1 9 23.0% 90.0% 13.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
org.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure
org.sat4j.pb.constraints.AbstractPBDataStructureFactory
org.sat4j.pb.constraints.AbstractPBDataStructureFactoryPB
org.sat4j.pb.constraints.CompetPBMaxClauseCardConstrDataStructure
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.math
org.sat4j.core
org.sat4j.minisat.constraints
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 29.0% 80.0% 9.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.IInternalPBConstraintCreator
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.BinaryClausePB
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.HTClausePB
org.sat4j.pb.constraints.pb.InternalMapPBStructure
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.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 10 29.0% 83.0% 12.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.constraints.cnf
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.GoodOPBReader
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

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

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.