| Designed for use with JDepend and Ant. |
| [summary] [packages] [cycles] [explanations] |
| Afferent Couplings: 0 | Efferent Couplings: 5 | Abstractness: 0 | Instability: 1 | Distance: 0 |
| Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
|---|---|---|---|
| None |
org.sat4j.Lanceur
org.sat4j.Lanceur$1 org.sat4j.Lanceur$ExitCode org.sat4j.LanceurPseudo2005 org.sat4j.LanceurPseudo2005Dicho org.sat4j.MoreThanSAT | None | org.sat4j.core
org.sat4j.minisat org.sat4j.reader org.sat4j.specs org.sat4j.tools |
| Afferent Couplings: 8 | Efferent Couplings: 1 | Abstractness: 0.14 | Instability: 0.11 | Distance: 0.75 |
| Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
|---|---|---|---|
|
org.sat4j.core.ASolverFactory
|
org.sat4j.core.Vec
org.sat4j.core.Vec$1 org.sat4j.core.Vec$2 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.constraints.pb org.sat4j.minisat.core org.sat4j.reader org.sat4j.tools | org.sat4j.specs
|
| Afferent Couplings: 1 | Efferent Couplings: 8 | Abstractness: 0 | Instability: 0.89 | Distance: 0.11 |
| 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.constraints.pb org.sat4j.minisat.core org.sat4j.minisat.learning org.sat4j.minisat.orders org.sat4j.minisat.uip org.sat4j.specs |
| Afferent Couplings: 1 | Efferent Couplings: 6 | Abstractness: 0.21 | Instability: 0.86 | Distance: 0.07 |
| Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
|---|---|---|---|
|
org.sat4j.minisat.constraints.AbstractCardinalityDataStructure
org.sat4j.minisat.constraints.AbstractDataStructureFactory org.sat4j.minisat.constraints.AbstractPBDataStructureFactory |
org.sat4j.minisat.constraints.CardinalityDataStructure
org.sat4j.minisat.constraints.CardinalityDataStructureYanMax org.sat4j.minisat.constraints.CardinalityDataStructureYanMin org.sat4j.minisat.constraints.ClausalDataStructureCB org.sat4j.minisat.constraints.ClausalDataStructureCBWL org.sat4j.minisat.constraints.ClausalDataStructureWL org.sat4j.minisat.constraints.MixedDataStructureDaniel org.sat4j.minisat.constraints.MixedDataStructureWithBinary org.sat4j.minisat.constraints.MixedDataStructureWithBinaryAndTernary org.sat4j.minisat.constraints.PBMaxDataStructure org.sat4j.minisat.constraints.PBMinDataStructure | org.sat4j.minisat
| org.sat4j.core
org.sat4j.minisat.constraints.card org.sat4j.minisat.constraints.cnf org.sat4j.minisat.constraints.pb org.sat4j.minisat.core org.sat4j.specs |
| Afferent Couplings: 1 | Efferent Couplings: 2 | Abstractness: 0 | Instability: 0.67 | Distance: 0.33 |
| Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
|---|---|---|---|
| None |
org.sat4j.minisat.constraints.card.AtLeast
org.sat4j.minisat.constraints.card.MaxWatchCard org.sat4j.minisat.constraints.card.MinWatchCard | org.sat4j.minisat.constraints
| org.sat4j.minisat.core
org.sat4j.specs |
| Afferent Couplings: 2 | Efferent Couplings: 3 | Abstractness: 0 | Instability: 0.6 | Distance: 0.4 |
| Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
|---|---|---|---|
| None |
org.sat4j.minisat.constraints.cnf.BinaryClauses
org.sat4j.minisat.constraints.cnf.CBClause org.sat4j.minisat.constraints.cnf.Lits org.sat4j.minisat.constraints.cnf.Lits2 org.sat4j.minisat.constraints.cnf.Lits23 org.sat4j.minisat.constraints.cnf.MixableCBClause org.sat4j.minisat.constraints.cnf.TernaryClauses org.sat4j.minisat.constraints.cnf.WLClause | org.sat4j.minisat.constraints
org.sat4j.minisat.constraints.pb | org.sat4j.core
org.sat4j.minisat.core org.sat4j.specs |
| Afferent Couplings: 2 | Efferent Couplings: 4 | Abstractness: 0.29 | Instability: 0.67 | Distance: 0.05 |
| Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
|---|---|---|---|
|
org.sat4j.minisat.constraints.pb.IInternalPBConstraintCreator
org.sat4j.minisat.constraints.pb.WatchPb |
org.sat4j.minisat.constraints.pb.Conflict
org.sat4j.minisat.constraints.pb.MapPb org.sat4j.minisat.constraints.pb.MaxWatchPb org.sat4j.minisat.constraints.pb.MinWatchPb org.sat4j.minisat.constraints.pb.PBSolver | org.sat4j.minisat
org.sat4j.minisat.constraints | org.sat4j.core
org.sat4j.minisat.constraints.cnf org.sat4j.minisat.core org.sat4j.specs |
| Afferent Couplings: 8 | Efferent Couplings: 2 | Abstractness: 0.57 | Instability: 0.2 | Distance: 0.23 |
| Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
|---|---|---|---|
|
org.sat4j.minisat.core.ActivityListener
org.sat4j.minisat.core.AssertingClauseGenerator 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.IOrder org.sat4j.minisat.core.Learner org.sat4j.minisat.core.LearningStrategy org.sat4j.minisat.core.Propagatable 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.Handle org.sat4j.minisat.core.Heap org.sat4j.minisat.core.IntQueue org.sat4j.minisat.core.Lbool org.sat4j.minisat.core.NullSearchListener 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.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.constraints.pb org.sat4j.minisat.learning org.sat4j.minisat.orders org.sat4j.minisat.uip | org.sat4j.core
org.sat4j.specs |
| Afferent Couplings: 1 | Efferent Couplings: 1 | Abstractness: 0.14 | Instability: 0.5 | Distance: 0.36 |
| Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
|---|---|---|---|
|
org.sat4j.minisat.learning.AbstractLearning
|
org.sat4j.minisat.learning.ActiveLearning
org.sat4j.minisat.learning.FixedLengthLearning org.sat4j.minisat.learning.LimitedLearning org.sat4j.minisat.learning.MiniSATLearning org.sat4j.minisat.learning.NoLearningButHeuristics org.sat4j.minisat.learning.NoLearningNoHeuristics | org.sat4j.minisat
| org.sat4j.minisat.core
|
| Afferent Couplings: 1 | Efferent Couplings: 2 | Abstractness: 0 | Instability: 0.67 | Distance: 0.33 |
| Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
|---|---|---|---|
| None |
org.sat4j.minisat.orders.JWOrder
org.sat4j.minisat.orders.JWOrder$Temp org.sat4j.minisat.orders.MyOrder org.sat4j.minisat.orders.MyOrder$Temp org.sat4j.minisat.orders.PureOrder org.sat4j.minisat.orders.VarOrder org.sat4j.minisat.orders.VarOrderHeap | org.sat4j.minisat
| org.sat4j.minisat.core
org.sat4j.specs |
| Afferent Couplings: 1 | Efferent Couplings: 2 | Abstractness: 0 | Instability: 0.67 | Distance: 0.33 |
| Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
|---|---|---|---|
| None |
org.sat4j.minisat.uip.DecisionUIP
org.sat4j.minisat.uip.FirstUIP | org.sat4j.minisat
| org.sat4j.minisat.core
org.sat4j.specs |
| Afferent Couplings: 1 | Efferent Couplings: 2 | Abstractness: 0.12 | Instability: 0.67 | Distance: 0.22 |
| Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
|---|---|---|---|
|
org.sat4j.reader.Reader
org.sat4j.reader.Relation |
org.sat4j.reader.AllowedRelation
org.sat4j.reader.CSPReader org.sat4j.reader.CSPSupportReader org.sat4j.reader.CardDimacsReader org.sat4j.reader.DimacsReader org.sat4j.reader.ExtendedDimacsReader org.sat4j.reader.ForbiddenRelation org.sat4j.reader.GoodOPBReader org.sat4j.reader.InstanceReader org.sat4j.reader.LecteurDimacs org.sat4j.reader.OPBReader2005 org.sat4j.reader.ObjectiveFunction org.sat4j.reader.ParseFormatException org.sat4j.reader.SupportAllowedRelation org.sat4j.reader.Var | org.sat4j
| org.sat4j.core
org.sat4j.specs |
| Afferent Couplings: 12 | Efferent Couplings: 0 | Abstractness: 0.71 | Instability: 0 | Distance: 0.29 |
| Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
|---|---|---|---|
|
org.sat4j.specs.IConstr
org.sat4j.specs.IProblem org.sat4j.specs.ISolver org.sat4j.specs.IVec org.sat4j.specs.IVecInt |
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.constraints.pb org.sat4j.minisat.core org.sat4j.minisat.orders org.sat4j.minisat.uip org.sat4j.reader org.sat4j.tools | None |
| Afferent Couplings: 1 | Efferent Couplings: 2 | Abstractness: 0.17 | Instability: 0.67 | Distance: 0.17 |
| Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
|---|---|---|---|
|
org.sat4j.tools.SolverDecorator
|
org.sat4j.tools.Minimal4CardinalityModel
org.sat4j.tools.Minimal4InclusionModel org.sat4j.tools.ModelIterator org.sat4j.tools.RemiUtils org.sat4j.tools.SolutionCounter | org.sat4j
| org.sat4j.core
org.sat4j.specs |
| [summary] [packages] [cycles] [explanations] |