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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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. |