| Package | TC | CC | AC | Ca | Ce | A | I | D | V |
|---|---|---|---|---|---|---|---|---|---|
| org.sat4j.pb | 16 | 15 | 1 | 5 | 18 | 6.0% | 78.0% | 15.000001% | 1 |
| org.sat4j.pb.constraints | 39 | 33 | 6 | 2 | 11 | 15.000001% | 85.0% | 0.0% | 1 |
| org.sat4j.pb.constraints.pb | 31 | 23 | 8 | 3 | 11 | 26.0% | 79.0% | 4.0% | 1 |
| org.sat4j.pb.core | 10 | 8 | 2 | 2 | 10 | 20.0% | 83.0% | 3.0% | 1 |
| org.sat4j.pb.orders | 3 | 2 | 1 | 2 | 7 | 33.0% | 78.0% | 11.0% | 1 |
| org.sat4j.pb.reader | 6 | 6 | 0 | 1 | 9 | 0.0% | 90.0% | 10.0% | 1 |
| org.sat4j.pb.tools | 17 | 16 | 1 | 1 | 10 | 6.0% | 91.0% | 3.0% | 1 |
| Afferent Couplings | Efferent Couplings | Abstractness | Instability | Distance |
|---|---|---|---|---|
| 5 | 18 | 6.0% | 78.0% | 15.000001% |
| Abstract Classes | Concrete Classes | Used by Packages | Uses 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 |
| Afferent Couplings | Efferent Couplings | Abstractness | Instability | Distance |
|---|---|---|---|---|
| 2 | 11 | 15.000001% | 85.0% | 0.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.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 |
| Afferent Couplings | Efferent Couplings | Abstractness | Instability | Distance |
|---|---|---|---|---|
| 3 | 11 | 26.0% | 79.0% | 4.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.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 |
| Afferent Couplings | Efferent Couplings | Abstractness | Instability | Distance |
|---|---|---|---|---|
| 2 | 10 | 20.0% | 83.0% | 3.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.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 |
| Afferent Couplings | Efferent Couplings | Abstractness | Instability | Distance |
|---|---|---|---|---|
| 2 | 7 | 33.0% | 78.0% | 11.0% |
| Abstract Classes | Concrete Classes | Used by Packages | Uses 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 |
| 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.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 |
| Afferent Couplings | Efferent Couplings | Abstractness | Instability | Distance |
|---|---|---|---|---|
| 1 | 10 | 6.0% | 91.0% | 3.0% |
| Abstract Classes | Concrete Classes | Used by Packages | Uses 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 |
| Package | Package Dependencies |
|---|---|
| org.sat4j.pb | org.sat4j.pb.constraints org.sat4j.pb.constraints.pb org.sat4j.pb |
| org.sat4j.pb.constraints | org.sat4j.pb.constraints.pb org.sat4j.pb org.sat4j.pb.constraints |
| org.sat4j.pb.constraints.pb | org.sat4j.pb org.sat4j.pb.constraints org.sat4j.pb.constraints.pb |
| org.sat4j.pb.core | org.sat4j.pb.constraints.pb org.sat4j.pb org.sat4j.pb.constraints org.sat4j.pb.constraints.pb |
| org.sat4j.pb.orders | org.sat4j.pb org.sat4j.pb.constraints org.sat4j.pb.constraints.pb org.sat4j.pb |
| org.sat4j.pb.reader | org.sat4j.pb org.sat4j.pb.constraints org.sat4j.pb.constraints.pb org.sat4j.pb |
| org.sat4j.pb.tools | org.sat4j.pb org.sat4j.pb.constraints org.sat4j.pb.constraints.pb org.sat4j.pb |
| 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. |
