JDepend Analysis

Designed for use with JDepend and Ant.

Packages

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

org.sat4j

Afferent Couplings: 0Efferent Couplings: 5Abstractness: 0Instability: 1Distance: 0
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
None org.sat4j.Lanceur
org.sat4j.Lanceur$1
org.sat4j.Lanceur$ExitCode
org.sat4j.LanceurPseudo2005
org.sat4j.LanceurPseudo2005Dicho
org.sat4j.MoreThanSAT
Noneorg.sat4j.core
org.sat4j.minisat
org.sat4j.reader
org.sat4j.specs
org.sat4j.tools

org.sat4j.core

Afferent Couplings: 8Efferent Couplings: 1Abstractness: 0.14Instability: 0.11Distance: 0.75
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.sat4j.minisat

Afferent Couplings: 1Efferent Couplings: 8Abstractness: 0Instability: 0.89Distance: 0.11
Abstract ClassesConcrete ClassesUsed by PackagesUses 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.minisat.constraints

Afferent Couplings: 1Efferent Couplings: 6Abstractness: 0.21Instability: 0.86Distance: 0.07
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.sat4j.minisat.constraints.card

Afferent Couplings: 1Efferent Couplings: 2Abstractness: 0Instability: 0.67Distance: 0.33
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.sat4j.minisat.constraints.cnf

Afferent Couplings: 2Efferent Couplings: 3Abstractness: 0Instability: 0.6Distance: 0.4
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.sat4j.minisat.constraints.pb

Afferent Couplings: 2Efferent Couplings: 4Abstractness: 0.29Instability: 0.67Distance: 0.05
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.sat4j.minisat.core

Afferent Couplings: 8Efferent Couplings: 2Abstractness: 0.57Instability: 0.2Distance: 0.23
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.sat4j.minisat.learning

Afferent Couplings: 1Efferent Couplings: 1Abstractness: 0.14Instability: 0.5Distance: 0.36
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.sat4j.minisat.orders

Afferent Couplings: 1Efferent Couplings: 2Abstractness: 0Instability: 0.67Distance: 0.33
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.sat4j.minisat.uip

Afferent Couplings: 1Efferent Couplings: 2Abstractness: 0Instability: 0.67Distance: 0.33
Abstract ClassesConcrete ClassesUsed by PackagesUses Packages
None org.sat4j.minisat.uip.DecisionUIP
org.sat4j.minisat.uip.FirstUIP
org.sat4j.minisat
org.sat4j.minisat.core
org.sat4j.specs

org.sat4j.reader

Afferent Couplings: 1Efferent Couplings: 2Abstractness: 0.12Instability: 0.67Distance: 0.22
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.sat4j.specs

Afferent Couplings: 12Efferent Couplings: 0Abstractness: 0.71Instability: 0Distance: 0.29
Abstract ClassesConcrete ClassesUsed by PackagesUses 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

org.sat4j.tools

Afferent Couplings: 1Efferent Couplings: 2Abstractness: 0.17Instability: 0.67Distance: 0.17
Abstract ClassesConcrete ClassesUsed by PackagesUses 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]