| Designed for use with JDepend and Ant. |
| [summary] [packages] [cycles] [explanations] |
| Afferent Couplings: 0 | Efferent Couplings: 10 | Abstractness: 0.15 | Instability: 1 | Distance: 0.15 |
| Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
|---|---|---|---|
|
org.sat4j.AbstractLauncher
org.sat4j.AbstractOptimizationLauncher |
org.sat4j.AbstractLauncher$1
org.sat4j.CSPLauncher org.sat4j.CSPLauncher$1 org.sat4j.ExitCode org.sat4j.Lanceur org.sat4j.LanceurPseudo2005 org.sat4j.MaxSatLauncher org.sat4j.Messages org.sat4j.MoreThanSAT org.sat4j.ResultCode org.sat4j.ResultsManager | None | org.apache.commons.beanutils
org.apache.commons.cli org.sat4j.core org.sat4j.minisat org.sat4j.minisat.core org.sat4j.minisat.orders org.sat4j.opt org.sat4j.reader org.sat4j.specs org.sat4j.tools |
| Afferent Couplings: 10 | Efferent Couplings: 1 | Abstractness: 0.14 | Instability: 0.09 | Distance: 0.77 |
| Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
|---|---|---|---|
|
org.sat4j.core.ASolverFactory
|
org.sat4j.core.DefaultComparator
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.constraints.pb org.sat4j.minisat.core org.sat4j.opt org.sat4j.reader org.sat4j.reader.csp org.sat4j.tools | org.sat4j.specs
|
| Afferent Couplings: 1 | Efferent Couplings: 9 | Abstractness: 0 | Instability: 0.9 | Distance: 0.1 |
| 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 org.sat4j.tools |
| Afferent Couplings: 2 | Efferent Couplings: 6 | Abstractness: 0.18 | Instability: 0.75 | 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.AbstractPBClauseCardConstrDataStructure 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.PBMaxCBClauseCardConstrDataStructure org.sat4j.minisat.constraints.PBMaxClauseAtLeastConstrDataStructure org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure org.sat4j.minisat.constraints.PBMaxDataStructure org.sat4j.minisat.constraints.PBMinClauseCardConstrDataStructure org.sat4j.minisat.constraints.PBMinDataStructure org.sat4j.minisat.constraints.PuebloPBMinClauseAtLeastConstrDataStructure org.sat4j.minisat.constraints.PuebloPBMinClauseCardConstrDataStructure org.sat4j.minisat.constraints.PuebloPBMinDataStructure | org.sat4j.minisat
org.sat4j.tools | 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: 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.card.AtLeast
org.sat4j.minisat.constraints.card.MaxWatchCard org.sat4j.minisat.constraints.card.MinWatchCard | org.sat4j.minisat.constraints
org.sat4j.minisat.constraints.pb | org.sat4j.minisat.constraints.cnf
org.sat4j.minisat.core org.sat4j.specs |
| Afferent Couplings: 3 | Efferent Couplings: 3 | Abstractness: 0 | Instability: 0.5 | Distance: 0.5 |
| 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.MarkableLits 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.card org.sat4j.minisat.constraints.pb | org.sat4j.core
org.sat4j.minisat.core org.sat4j.specs |
| Afferent Couplings: 2 | Efferent Couplings: 5 | Abstractness: 0.23 | Instability: 0.71 | Distance: 0.06 |
| Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
|---|---|---|---|
|
org.sat4j.minisat.constraints.pb.IConflict
org.sat4j.minisat.constraints.pb.IDataStructurePB org.sat4j.minisat.constraints.pb.IInternalPBConstraintCreator org.sat4j.minisat.constraints.pb.PBConstr org.sat4j.minisat.constraints.pb.WatchPb |
org.sat4j.minisat.constraints.pb.ArrayPb
org.sat4j.minisat.constraints.pb.AtLeastPB org.sat4j.minisat.constraints.pb.ConflictArray org.sat4j.minisat.constraints.pb.ConflictArrayCard org.sat4j.minisat.constraints.pb.ConflictArrayClause org.sat4j.minisat.constraints.pb.ConflictMap org.sat4j.minisat.constraints.pb.MapPb org.sat4j.minisat.constraints.pb.MaxWatchPb org.sat4j.minisat.constraints.pb.MinWatchCardPB org.sat4j.minisat.constraints.pb.MinWatchPb org.sat4j.minisat.constraints.pb.MixableCBClausePB org.sat4j.minisat.constraints.pb.PBSolver org.sat4j.minisat.constraints.pb.PBSolverCard org.sat4j.minisat.constraints.pb.PBSolverClause org.sat4j.minisat.constraints.pb.PBSolverWithImpliedClause org.sat4j.minisat.constraints.pb.PuebloMinWatchPb org.sat4j.minisat.constraints.pb.WLClausePB | org.sat4j.minisat
org.sat4j.minisat.constraints | org.sat4j.core
org.sat4j.minisat.constraints.card org.sat4j.minisat.constraints.cnf org.sat4j.minisat.core org.sat4j.specs |
| Afferent Couplings: 10 | Efferent Couplings: 2 | Abstractness: 0.53 | Instability: 0.17 | Distance: 0.3 |
| 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.IMarkableLits 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.DotSearchListener org.sat4j.minisat.core.Handle org.sat4j.minisat.core.Heap org.sat4j.minisat.core.IntQueue org.sat4j.minisat.core.Lbool org.sat4j.minisat.core.LiteralsUtils 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.Solver$4 org.sat4j.minisat.core.SolverStats org.sat4j.minisat.core.TextOutputListener | org.sat4j
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.tools | 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: 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.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.orders.VarOrderHeapObjective | org.sat4j
org.sat4j.minisat | org.sat4j.minisat.core
org.sat4j.reader 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: 4 | Abstractness: 0 | Instability: 0.8 | Distance: 0.2 |
| Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
|---|---|---|---|
| None |
org.sat4j.opt.MaxSatDecorator
org.sat4j.opt.MinOneDecorator org.sat4j.opt.PseudoOptDecorator org.sat4j.opt.WeightedMaxSatDecorator | org.sat4j
| org.sat4j.core
org.sat4j.reader org.sat4j.specs org.sat4j.tools |
| Afferent Couplings: 3 | Efferent Couplings: 3 | Abstractness: 0.07 | Instability: 0.5 | Distance: 0.43 |
| Abstract Classes | Concrete Classes | Used by Packages | Uses Packages |
|---|---|---|---|
|
org.sat4j.reader.Reader
|
org.sat4j.reader.CSPExtSupportReader
org.sat4j.reader.CSPReader org.sat4j.reader.CSPSupportReader org.sat4j.reader.CardDimacsReader org.sat4j.reader.DimacsReader org.sat4j.reader.ExtendedDimacsReader org.sat4j.reader.GoodOPBReader org.sat4j.reader.InstanceReader org.sat4j.reader.LecteurDimacs org.sat4j.reader.OPBReader2005 org.sat4j.reader.OPBReader2006 org.sat4j.reader.ObjectiveFunction org.sat4j.reader.ParseFormatException | org.sat4j
org.sat4j.minisat.orders org.sat4j.opt | org.sat4j.core
org.sat4j.reader.csp org.sat4j.specs |
| 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.reader.csp.Relation
|
org.sat4j.reader.csp.BinarySupportsACEncoding
org.sat4j.reader.csp.Nogoods org.sat4j.reader.csp.SupportsDirectEncoding org.sat4j.reader.csp.SupportsGeneralizedACEncoding org.sat4j.reader.csp.Var | org.sat4j.reader
| org.sat4j.core
org.sat4j.specs |
| Afferent Couplings: 14 | Efferent Couplings: 0 | Abstractness: 0.75 | Instability: 0 | Distance: 0.25 |
| 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.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.opt org.sat4j.reader org.sat4j.reader.csp org.sat4j.tools | None |
| Afferent Couplings: 3 | Efferent Couplings: 4 | Abstractness: 0.12 | Instability: 0.57 | Distance: 0.3 |
| 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.SATRaceDecorator org.sat4j.tools.SingleSolutionDetector org.sat4j.tools.SolutionCounter | org.sat4j
org.sat4j.minisat org.sat4j.opt | org.sat4j.core
org.sat4j.minisat.constraints org.sat4j.minisat.core org.sat4j.specs |
| [summary] [packages] [cycles] [explanations] |