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 8 6 2 0 9 25.0% 100.0% 25.0% 1
org.sat4j.core 10 9 1 9 5 10.0% 36.0% 54.000004% 1
org.sat4j.minisat 1 1 0 1 10 0.0% 91.0% 9.0% 1
org.sat4j.minisat.constraints 10 8 2 1 7 20.0% 88.0% 8.0% 1
org.sat4j.minisat.constraints.card 3 2 1 1 5 33.0% 83.0% 17.0% 1
org.sat4j.minisat.constraints.cnf 16 13 3 3 6 19.0% 67.0% 15.000001% 1
org.sat4j.minisat.core 41 19 22 8 6 54.000004% 43.0% 3.0% 1
org.sat4j.minisat.learning 9 7 2 1 3 22.0% 75.0% 3.0% 1
org.sat4j.minisat.orders 13 12 1 1 6 8.0% 86.0% 7.0% 1
org.sat4j.minisat.restarts 4 4 0 1 2 0.0% 67.0% 33.0% 1
org.sat4j.minisat.uip 2 2 0 1 4 0.0% 80.0% 20.0% 1
org.sat4j.opt 3 2 1 1 4 33.0% 80.0% 13.0% 1
org.sat4j.reader 9 8 1 1 8 11.0% 89.0% 0.0% 1
org.sat4j.specs 9 2 7 12 3 78.0% 20.0% 2.0% 1
org.sat4j.tools 14 13 1 4 5 7.0% 56.0% 37.0% 1

Packages

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

org.sat4j

Afferent Couplings Efferent Couplings Abstractness Instability Distance
0 9 25.0% 100.0% 25.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
org.sat4j.AbstractLauncher
org.sat4j.AbstractOptimizationLauncher
 org.sat4j.AbstractLauncher$1
org.sat4j.AbstractLauncher$2
org.sat4j.BasicLauncher
org.sat4j.ExitCode
org.sat4j.Messages
org.sat4j.MoreThanSAT
 None java.io
java.lang
java.net
java.util
org.sat4j.core
org.sat4j.minisat
org.sat4j.reader
org.sat4j.specs
org.sat4j.tools

org.sat4j.core

Afferent Couplings Efferent Couplings Abstractness Instability Distance
9 5 10.0% 36.0% 54.000004%
Abstract Classes Concrete Classes Used by Packages Uses Packages
org.sat4j.core.ASolverFactory
 org.sat4j.core.DefaultComparator
org.sat4j.core.LiteralsUtils
org.sat4j.core.ReadOnlyVec
org.sat4j.core.ReadOnlyVecInt
org.sat4j.core.Vec
org.sat4j.core.Vec$1
org.sat4j.core.VecInt
org.sat4j.core.VecInt$1
org.sat4j.core.VecInt$2
 org.sat4j
org.sat4j.minisat
org.sat4j.minisat.constraints
org.sat4j.minisat.constraints.cnf
org.sat4j.minisat.core
org.sat4j.minisat.orders
org.sat4j.opt
org.sat4j.reader
org.sat4j.tools
 java.io
java.lang
java.lang.reflect
java.util
org.sat4j.specs

org.sat4j.minisat

Afferent Couplings Efferent Couplings Abstractness Instability Distance
1 10 0.0% 91.0% 9.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
None org.sat4j.minisat.SolverFactory
 org.sat4j
 org.sat4j.core
org.sat4j.minisat.constraints
org.sat4j.minisat.core
org.sat4j.minisat.learning
org.sat4j.minisat.orders
org.sat4j.minisat.restarts
org.sat4j.minisat.uip
org.sat4j.opt
org.sat4j.specs
org.sat4j.tools

org.sat4j.minisat.constraints

Afferent Couplings Efferent Couplings Abstractness Instability Distance
1 7 20.0% 88.0% 8.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
org.sat4j.minisat.constraints.AbstractCardinalityDataStructure
org.sat4j.minisat.constraints.AbstractDataStructureFactory
 org.sat4j.minisat.constraints.CardinalityDataStructure
org.sat4j.minisat.constraints.ClausalDataStructureCB
org.sat4j.minisat.constraints.ClausalDataStructureCBHT
org.sat4j.minisat.constraints.ClausalDataStructureHT
org.sat4j.minisat.constraints.MixedDataStructureDaniel
org.sat4j.minisat.constraints.MixedDataStructureDanielCBHT
org.sat4j.minisat.constraints.MixedDataStructureWithBinary
org.sat4j.minisat.constraints.MixedDataStructureWithBinaryAndTernary
 org.sat4j.minisat
 java.io
java.lang
org.sat4j.core
org.sat4j.minisat.constraints.card
org.sat4j.minisat.constraints.cnf
org.sat4j.minisat.core
org.sat4j.specs

org.sat4j.minisat.constraints.card

Afferent Couplings Efferent Couplings Abstractness Instability Distance
1 5 33.0% 83.0% 17.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
org.sat4j.minisat.constraints.card.Cards
 org.sat4j.minisat.constraints.card.AtLeast
org.sat4j.minisat.constraints.card.MinWatchCard
 org.sat4j.minisat.constraints
 java.io
java.lang
org.sat4j.minisat.constraints.cnf
org.sat4j.minisat.core
org.sat4j.specs

org.sat4j.minisat.constraints.cnf

Afferent Couplings Efferent Couplings Abstractness Instability Distance
3 6 19.0% 67.0% 15.000001%
Abstract Classes Concrete Classes Used by Packages Uses Packages
org.sat4j.minisat.constraints.cnf.BinaryClause
org.sat4j.minisat.constraints.cnf.Clauses
org.sat4j.minisat.constraints.cnf.HTClause
 org.sat4j.minisat.constraints.cnf.BinaryClauses
org.sat4j.minisat.constraints.cnf.CBClause
org.sat4j.minisat.constraints.cnf.LearntBinaryClause
org.sat4j.minisat.constraints.cnf.LearntHTClause
org.sat4j.minisat.constraints.cnf.Lits
org.sat4j.minisat.constraints.cnf.Lits2
org.sat4j.minisat.constraints.cnf.Lits23
org.sat4j.minisat.constraints.cnf.MarkableLits
org.sat4j.minisat.constraints.cnf.MixableCBClause
org.sat4j.minisat.constraints.cnf.OriginalBinaryClause
org.sat4j.minisat.constraints.cnf.OriginalHTClause
org.sat4j.minisat.constraints.cnf.TernaryClauses
org.sat4j.minisat.constraints.cnf.UnitClause
 org.sat4j.minisat.constraints
org.sat4j.minisat.constraints.card
org.sat4j.minisat.learning
 java.io
java.lang
java.util
org.sat4j.core
org.sat4j.minisat.core
org.sat4j.specs

org.sat4j.minisat.core

Afferent Couplings Efferent Couplings Abstractness Instability Distance
8 6 54.000004% 43.0% 3.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
org.sat4j.minisat.core.ActivityListener
org.sat4j.minisat.core.AssertingClauseGenerator
org.sat4j.minisat.core.ConflictTimer
org.sat4j.minisat.core.ConflictTimerAdapter
org.sat4j.minisat.core.Constr
org.sat4j.minisat.core.ConstrActivityListener
org.sat4j.minisat.core.DataStructureFactory
org.sat4j.minisat.core.ILits
org.sat4j.minisat.core.ILits2
org.sat4j.minisat.core.ILits23
org.sat4j.minisat.core.IMarkableLits
org.sat4j.minisat.core.IOrder
org.sat4j.minisat.core.IPhaseSelectionStrategy
org.sat4j.minisat.core.Learner
org.sat4j.minisat.core.LearningStrategy
org.sat4j.minisat.core.Propagatable
org.sat4j.minisat.core.RestartStrategy
org.sat4j.minisat.core.SearchListener
org.sat4j.minisat.core.Solver$ISimplifier
org.sat4j.minisat.core.Undoable
org.sat4j.minisat.core.UnitPropagationListener
org.sat4j.minisat.core.VarActivityListener
 org.sat4j.minisat.core.ActivityComparator
org.sat4j.minisat.core.ConflictTimerContainer
org.sat4j.minisat.core.Counter
org.sat4j.minisat.core.DotSearchListener
org.sat4j.minisat.core.Heap
org.sat4j.minisat.core.IntQueue
org.sat4j.minisat.core.Lbool
org.sat4j.minisat.core.NullSearchListener
org.sat4j.minisat.core.Pair
org.sat4j.minisat.core.SearchParams
org.sat4j.minisat.core.Solver
org.sat4j.minisat.core.Solver$1
org.sat4j.minisat.core.Solver$2
org.sat4j.minisat.core.Solver$3
org.sat4j.minisat.core.Solver$4
org.sat4j.minisat.core.Solver$5
org.sat4j.minisat.core.Solver$6
org.sat4j.minisat.core.SolverStats
org.sat4j.minisat.core.TextOutputListener
 org.sat4j.minisat
org.sat4j.minisat.constraints
org.sat4j.minisat.constraints.card
org.sat4j.minisat.constraints.cnf
org.sat4j.minisat.learning
org.sat4j.minisat.orders
org.sat4j.minisat.restarts
org.sat4j.minisat.uip
 java.io
java.lang
java.lang.reflect
java.util
org.sat4j.core
org.sat4j.specs

org.sat4j.minisat.learning

Afferent Couplings Efferent Couplings Abstractness Instability Distance
1 3 22.0% 75.0% 3.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
org.sat4j.minisat.learning.AbstractLearning
org.sat4j.minisat.learning.LimitedLearning
 org.sat4j.minisat.learning.ActiveLearning
org.sat4j.minisat.learning.ClauseOnlyLearning
org.sat4j.minisat.learning.FixedLengthLearning
org.sat4j.minisat.learning.MiniSATLearning
org.sat4j.minisat.learning.NoLearningButHeuristics
org.sat4j.minisat.learning.NoLearningNoHeuristics
org.sat4j.minisat.learning.PercentLengthLearning
 org.sat4j.minisat
 java.lang
org.sat4j.minisat.constraints.cnf
org.sat4j.minisat.core

org.sat4j.minisat.orders

Afferent Couplings Efferent Couplings Abstractness Instability Distance
1 6 8.0% 86.0% 7.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy
 org.sat4j.minisat.orders.JWOrder
org.sat4j.minisat.orders.MyOrder
org.sat4j.minisat.orders.NegativeLiteralSelectionStrategy
org.sat4j.minisat.orders.PhaseInLastLearnedClauseSelectionStrategy
org.sat4j.minisat.orders.PositiveLiteralSelectionStrategy
org.sat4j.minisat.orders.PureOrder
org.sat4j.minisat.orders.RSATPhaseSelectionStrategy
org.sat4j.minisat.orders.RandomLiteralSelectionStrategy
org.sat4j.minisat.orders.UserFixedPhaseSelectionStrategy
org.sat4j.minisat.orders.ValuedLit
org.sat4j.minisat.orders.VarOrder
org.sat4j.minisat.orders.VarOrderHeap
 org.sat4j.minisat
 java.io
java.lang
java.util
org.sat4j.core
org.sat4j.minisat.core
org.sat4j.specs

org.sat4j.minisat.restarts

Afferent Couplings Efferent Couplings Abstractness Instability Distance
1 2 0.0% 67.0% 33.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
None org.sat4j.minisat.restarts.ArminRestarts
org.sat4j.minisat.restarts.LubyRestarts
org.sat4j.minisat.restarts.MiniSATRestarts
org.sat4j.minisat.restarts.NoRestarts
 org.sat4j.minisat
 java.lang
org.sat4j.minisat.core

org.sat4j.minisat.uip

Afferent Couplings Efferent Couplings Abstractness Instability Distance
1 4 0.0% 80.0% 20.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
None org.sat4j.minisat.uip.DecisionUIP
org.sat4j.minisat.uip.FirstUIP
 org.sat4j.minisat
 java.io
java.lang
org.sat4j.minisat.core
org.sat4j.specs

org.sat4j.opt

Afferent Couplings Efferent Couplings Abstractness Instability Distance
1 4 33.0% 80.0% 13.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
org.sat4j.opt.AbstractSelectorVariablesDecorator
 org.sat4j.opt.MaxSatDecorator
org.sat4j.opt.MinOneDecorator
 org.sat4j.minisat
 java.lang
org.sat4j.core
org.sat4j.specs
org.sat4j.tools

org.sat4j.reader

Afferent Couplings Efferent Couplings Abstractness Instability Distance
1 8 11.0% 89.0% 0.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
org.sat4j.reader.Reader
 org.sat4j.reader.AAGReader
org.sat4j.reader.AIGReader
org.sat4j.reader.CardDimacsReader
org.sat4j.reader.DimacsReader
org.sat4j.reader.ExtendedDimacsReader
org.sat4j.reader.InstanceReader
org.sat4j.reader.LecteurDimacs
org.sat4j.reader.ParseFormatException
 org.sat4j
 java.io
java.lang
java.net
java.util
java.util.zip
org.sat4j.core
org.sat4j.specs
org.sat4j.tools

org.sat4j.specs

Afferent Couplings Efferent Couplings Abstractness Instability Distance
12 3 78.0% 20.0% 2.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
org.sat4j.specs.IConstr
org.sat4j.specs.IOptimizationProblem
org.sat4j.specs.IProblem
org.sat4j.specs.ISolver
org.sat4j.specs.IVec
org.sat4j.specs.IVecInt
org.sat4j.specs.IteratorInt
 org.sat4j.specs.ContradictionException
org.sat4j.specs.TimeoutException
 org.sat4j
org.sat4j.core
org.sat4j.minisat
org.sat4j.minisat.constraints
org.sat4j.minisat.constraints.card
org.sat4j.minisat.constraints.cnf
org.sat4j.minisat.core
org.sat4j.minisat.orders
org.sat4j.minisat.uip
org.sat4j.opt
org.sat4j.reader
org.sat4j.tools
 java.io
java.lang
java.util

org.sat4j.tools

Afferent Couplings Efferent Couplings Abstractness Instability Distance
4 5 7.0% 56.0% 37.0%
Abstract Classes Concrete Classes Used by Packages Uses Packages
org.sat4j.tools.SolverDecorator
 org.sat4j.tools.ConstrGroup
org.sat4j.tools.DimacsArrayReader
org.sat4j.tools.DimacsOutputSolver
org.sat4j.tools.DimacsStringSolver
org.sat4j.tools.ExtendedDimacsArrayReader
org.sat4j.tools.GateTranslator
org.sat4j.tools.Minimal4CardinalityModel
org.sat4j.tools.Minimal4InclusionModel
org.sat4j.tools.ModelIterator
org.sat4j.tools.OptToSatAdapter
org.sat4j.tools.RemiUtils
org.sat4j.tools.SingleSolutionDetector
org.sat4j.tools.SolutionCounter
 org.sat4j
org.sat4j.minisat
org.sat4j.opt
org.sat4j.reader
 java.io
java.lang
java.util
org.sat4j.core
org.sat4j.specs

Cycles

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

There are no cyclic dependencies.

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.