Hierarchy For All Packages

Package Hierarchies:

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.core, org.sat4j.minisat.learning, org.sat4j.minisat.orders, org.sat4j.minisat.restarts, org.sat4j.opt, org.sat4j.reader, org.sat4j.specs, org.sat4j.tools, org.sat4j.tools.encoding, org.sat4j.tools.xplain

Class Hierarchy

• java.lang.Object
  • org.sat4j.minisat.constraints.AbstractDataStructureFactory (implements org.sat4j.minisat.core.DataStructureFactory, java.io.Serializable)
    • org.sat4j.minisat.constraints.AbstractCardinalityDataStructure
      • org.sat4j.minisat.constraints.CardinalityDataStructure
      • org.sat4j.minisat.constraints.CardinalityDataStructureYanMax
      • org.sat4j.minisat.constraints.CardinalityDataStructureYanMin
    • org.sat4j.minisat.constraints.ClausalDataStructureWL
    • org.sat4j.minisat.constraints.MixedDataStructureDanielHT
    • org.sat4j.minisat.constraints.MixedDataStructureDanielWL
    • org.sat4j.minisat.constraints.MixedDataStructureSingleWL
  • org.sat4j.AbstractLauncher (implements java.io.Serializable)
    • org.sat4j.AbstractOptimizationLauncher
    • org.sat4j.BasicLauncher<T>
    • org.sat4j.MUSLauncher
  • org.sat4j.tools.AbstractOutputSolver (implements org.sat4j.specs.ISolver)
    • org.sat4j.tools.DimacsOutputSolver
    • org.sat4j.tools.DimacsStringSolver
  • org.sat4j.minisat.core.ActivityComparator (implements java.util.Comparator<T>, java.io.Serializable)
  • org.sat4j.minisat.restarts.ArminRestarts (implements org.sat4j.minisat.core.RestartStrategy)
  • org.sat4j.core.ASolverFactory<T> (implements java.io.Serializable)
    • org.sat4j.LightFactory
    • org.sat4j.minisat.SolverFactory
  • org.sat4j.minisat.constraints.card.AtLeast (implements org.sat4j.minisat.core.Constr, org.sat4j.minisat.core.Propagatable, java.io.Serializable, org.sat4j.minisat.core.Undoable)
  • org.sat4j.minisat.constraints.cnf.BinaryClause (implements org.sat4j.minisat.core.Constr, org.sat4j.minisat.core.Propagatable, java.io.Serializable)
    • org.sat4j.minisat.constraints.cnf.LearntBinaryClause
    • org.sat4j.minisat.constraints.cnf.OriginalBinaryClause
  • org.sat4j.minisat.core.CircularBuffer
  • org.sat4j.minisat.constraints.cnf.Clauses
  • org.sat4j.minisat.core.ConflictTimerAdapter (implements org.sat4j.minisat.core.ConflictTimer, java.io.Serializable)
  • org.sat4j.minisat.core.ConflictTimerContainer (implements org.sat4j.minisat.core.ConflictTimer, java.io.Serializable)
  • org.sat4j.core.ConstrGroup (implements org.sat4j.specs.IConstr)
  • org.sat4j.minisat.core.Counter
  • org.sat4j.core.DefaultComparator<A> (implements java.util.Comparator<T>, java.io.Serializable)
  • org.sat4j.tools.xplain.DeletionStrategy (implements org.sat4j.tools.xplain.MinimizationStrategy)
  • org.sat4j.tools.DimacsArrayReader (implements java.io.Serializable)
    • org.sat4j.tools.ExtendedDimacsArrayReader
  • org.sat4j.reader.EfficientScanner (implements java.io.Serializable)
  • org.sat4j.tools.encoding.EncodingStrategyAdapter
    • org.sat4j.tools.encoding.Binary
    • org.sat4j.tools.encoding.Binomial
    • org.sat4j.tools.encoding.Commander
    • org.sat4j.tools.encoding.Ladder
    • org.sat4j.tools.encoding.Policy
    • org.sat4j.tools.encoding.Product
    • org.sat4j.tools.encoding.Sequential
  • org.sat4j.ExitCode
  • org.sat4j.tools.FileBasedVisualizationTool (implements org.sat4j.tools.IVisualizationTool)
  • org.sat4j.minisat.core.Heap (implements java.io.Serializable)
  • org.sat4j.minisat.constraints.cnf.HTClause (implements org.sat4j.minisat.core.Constr, org.sat4j.minisat.core.Propagatable, java.io.Serializable)
    • org.sat4j.minisat.constraints.cnf.LearntHTClause
    • org.sat4j.minisat.constraints.cnf.OriginalHTClause
  • org.sat4j.tools.xplain.InsertionStrategy (implements org.sat4j.tools.xplain.MinimizationStrategy)
  • org.sat4j.minisat.core.IntQueue (implements java.io.Serializable)
  • org.sat4j.specs.Lbool
  • org.sat4j.minisat.learning.LimitedLearning<D> (implements org.sat4j.minisat.core.LearningStrategy<D>)
    • org.sat4j.minisat.learning.ActiveLearning<D>
    • org.sat4j.minisat.learning.ClauseOnlyLearning<D>
    • org.sat4j.minisat.learning.FixedLengthLearning<D>
    • org.sat4j.minisat.learning.PercentLengthLearning<D>
  • org.sat4j.core.LiteralsUtils
  • org.sat4j.minisat.constraints.cnf.Lits (implements org.sat4j.minisat.core.ILits, java.io.Serializable)
  • org.sat4j.minisat.restarts.LubyRestarts (implements org.sat4j.minisat.core.RestartStrategy)
  • org.sat4j.tools.ManyCore<S> (implements org.sat4j.specs.ISolver, org.sat4j.tools.OutcomeListener)
  • org.sat4j.minisat.constraints.card.MaxWatchCard (implements org.sat4j.minisat.core.Constr, org.sat4j.minisat.core.Propagatable, java.io.Serializable, org.sat4j.minisat.core.Undoable)
  • org.sat4j.Messages
  • org.sat4j.minisat.learning.MiniSATLearning<D>
  • org.sat4j.minisat.restarts.MiniSATRestarts (implements org.sat4j.minisat.core.RestartStrategy)
  • org.sat4j.minisat.constraints.card.MinWatchCard (implements org.sat4j.minisat.core.Constr, org.sat4j.minisat.core.Propagatable, java.io.Serializable, org.sat4j.minisat.core.Undoable)
  • org.sat4j.MoreThanSAT
  • org.sat4j.tools.MultiTracing (implements org.sat4j.specs.SearchListener<S>)
  • org.sat4j.minisat.orders.NegativeLiteralSelectionStrategy (implements org.sat4j.minisat.core.IPhaseSelectionStrategy)
  • org.sat4j.minisat.learning.NoLearningButHeuristics<D>
  • org.sat4j.minisat.learning.NoLearningNoHeuristics<D>
  • org.sat4j.minisat.restarts.NoRestarts (implements org.sat4j.minisat.core.RestartStrategy)
  • org.sat4j.minisat.core.Pair (implements java.io.Serializable)
  • org.sat4j.minisat.orders.PhaseCachingAutoEraseStrategy
  • org.sat4j.minisat.orders.PhaseInLastLearnedClauseSelectionStrategy
  • org.sat4j.minisat.orders.PositiveLiteralSelectionStrategy (implements org.sat4j.minisat.core.IPhaseSelectionStrategy)
  • org.sat4j.tools.xplain.QuickXplain2001Strategy (implements org.sat4j.tools.xplain.MinimizationStrategy)
  • org.sat4j.tools.xplain.QuickXplainStrategy (implements org.sat4j.tools.xplain.MinimizationStrategy)
  • org.sat4j.minisat.orders.RandomLiteralSelectionStrategy (implements org.sat4j.minisat.core.IPhaseSelectionStrategy)
  • org.sat4j.minisat.orders.RandomWalkDecorator (implements org.sat4j.minisat.core.IOrder)
  • org.sat4j.reader.Reader
    • org.sat4j.reader.AAGReader
    • org.sat4j.reader.AIGReader
    • org.sat4j.reader.DimacsReader (implements java.io.Serializable)
      • org.sat4j.reader.GroupedCNFReader
    • org.sat4j.reader.InstanceReader
    • org.sat4j.reader.LecteurDimacs (implements java.io.Serializable)
  • org.sat4j.core.ReadOnlyVec<T> (implements org.sat4j.specs.IVec<T>)
  • org.sat4j.core.ReadOnlyVecInt (implements org.sat4j.specs.IVecInt)
  • org.sat4j.tools.RemiUtils
  • org.sat4j.minisat.orders.RSATLastLearnedClausesPhaseSelectionStrategy
  • org.sat4j.minisat.orders.RSATPhaseSelectionStrategy
  • org.sat4j.tools.SearchListenerAdapter<S> (implements org.sat4j.specs.SearchListener<S>)
    • org.sat4j.tools.ConflictDepthTracing
    • org.sat4j.tools.ConflictLevelTracing
    • org.sat4j.tools.DecisionLevelTracing
    • org.sat4j.tools.DecisionTracing
    • org.sat4j.tools.DotSearchTracing<T>
    • org.sat4j.tools.HeuristicsTracing
    • org.sat4j.tools.LBDTracing
    • org.sat4j.tools.LearnedClauseSizeTracing
    • org.sat4j.tools.LearnedClausesSizeTracing
    • org.sat4j.tools.LearnedTracing
    • org.sat4j.tools.SearchEnumeratorListener
    • org.sat4j.tools.SpeedTracing
  • org.sat4j.minisat.core.SearchParams (implements java.io.Serializable)
  • org.sat4j.minisat.core.Solver<D> (implements org.sat4j.minisat.core.ICDCL<D>, org.sat4j.specs.ISolverService)
  • org.sat4j.tools.SolverDecorator<T> (implements org.sat4j.specs.ISolver)
    • org.sat4j.opt.AbstractSelectorVariablesDecorator (implements org.sat4j.specs.IOptimizationProblem)
      • org.sat4j.opt.MaxSatDecorator
    • org.sat4j.tools.ClausalCardinalitiesDecorator<T>
    • org.sat4j.tools.GateTranslator
    • org.sat4j.tools.xplain.HighLevelXplain<T> (implements org.sat4j.tools.xplain.Explainer)
    • org.sat4j.tools.LexicoDecorator<T> (implements org.sat4j.specs.IOptimizationProblem)
    • org.sat4j.tools.Minimal4CardinalityModel
    • org.sat4j.tools.Minimal4InclusionModel
    • org.sat4j.opt.MinOneDecorator (implements org.sat4j.specs.IOptimizationProblem)
    • org.sat4j.tools.ModelIterator
    • org.sat4j.tools.OptToSatAdapter
    • org.sat4j.tools.SingleSolutionDetector
    • org.sat4j.tools.SolutionCounter
    • org.sat4j.tools.xplain.Xplain<T> (implements org.sat4j.tools.xplain.Explainer)
  • org.sat4j.minisat.core.SolverStats (implements java.io.Serializable)
  • org.sat4j.minisat.orders.TabuListDecorator (implements org.sat4j.minisat.core.IOrder)
  • org.sat4j.tools.TextOutputTracing<T> (implements org.sat4j.specs.SearchListener<S>)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • org.sat4j.specs.ContradictionException
      • org.sat4j.reader.ParseFormatException
      • org.sat4j.specs.TimeoutException
  • org.sat4j.minisat.constraints.cnf.UnitClause (implements org.sat4j.minisat.core.Constr)
  • org.sat4j.minisat.constraints.cnf.UnitClauses (implements org.sat4j.minisat.core.Constr)
  • org.sat4j.minisat.orders.UserFixedPhaseSelectionStrategy
  • org.sat4j.minisat.orders.VarOrderHeap (implements org.sat4j.minisat.core.IOrder, java.io.Serializable)
    • org.sat4j.minisat.orders.PureOrder
    • org.sat4j.minisat.orders.SubsetVarOrder
  • org.sat4j.core.Vec<T> (implements org.sat4j.specs.IVec<T>)
  • org.sat4j.core.VecInt (implements org.sat4j.specs.IVecInt)
  • org.sat4j.minisat.constraints.cnf.WLClause (implements org.sat4j.minisat.core.Constr, org.sat4j.minisat.core.Propagatable, java.io.Serializable)
    • org.sat4j.minisat.constraints.cnf.LearntWLClause
    • org.sat4j.minisat.constraints.cnf.OriginalWLClause

Interface Hierarchy

• org.sat4j.minisat.core.ConflictTimer
  • org.sat4j.minisat.core.RestartStrategy (also extends java.io.Serializable)
• org.sat4j.minisat.core.ConstrActivityListener
  • org.sat4j.minisat.core.ActivityListener (also extends org.sat4j.minisat.core.VarActivityListener)
    • org.sat4j.minisat.core.ICDCL<D> (also extends org.sat4j.specs.ISolver, org.sat4j.minisat.core.Learner, org.sat4j.minisat.core.UnitPropagationListener)
  • org.sat4j.minisat.core.ICDCL<D> (also extends org.sat4j.specs.ISolver, org.sat4j.minisat.core.Learner, org.sat4j.minisat.core.UnitPropagationListener)
• org.sat4j.minisat.core.DataStructureFactory
• org.sat4j.tools.xplain.Explainer
• org.sat4j.minisat.core.ICDCLLogger
• org.sat4j.specs.IConstr
  • org.sat4j.minisat.core.Constr
• org.sat4j.minisat.core.ILits
• org.sat4j.minisat.core.IOrder
• org.sat4j.specs.IProblem
  • org.sat4j.minisat.core.ICDCL<D> (also extends org.sat4j.specs.ISolver, org.sat4j.minisat.core.Learner, org.sat4j.minisat.core.UnitPropagationListener)
  • org.sat4j.specs.IOptimizationProblem
  • org.sat4j.specs.ISolver (also extends java.io.Serializable)
    • org.sat4j.minisat.core.ICDCL<D> (also extends org.sat4j.minisat.core.Learner, org.sat4j.minisat.core.UnitPropagationListener)
• org.sat4j.specs.ISolverService
• org.sat4j.specs.IteratorInt
• org.sat4j.tools.IVisualizationTool
• org.sat4j.minisat.core.Learner
  • org.sat4j.minisat.core.ICDCL<D> (also extends org.sat4j.specs.ISolver, org.sat4j.minisat.core.UnitPropagationListener)
• org.sat4j.tools.OutcomeListener
• org.sat4j.minisat.core.Propagatable
• java.io.Serializable
  • org.sat4j.minisat.core.ActivityListener (also extends org.sat4j.minisat.core.VarActivityListener)
    • org.sat4j.minisat.core.ICDCL<D> (also extends org.sat4j.specs.ISolver, org.sat4j.minisat.core.Learner, org.sat4j.minisat.core.UnitPropagationListener)
  • org.sat4j.minisat.core.ICDCL<D> (also extends org.sat4j.specs.ISolver, org.sat4j.minisat.core.Learner, org.sat4j.minisat.core.UnitPropagationListener)
  • org.sat4j.minisat.core.IPhaseSelectionStrategy
  • org.sat4j.minisat.core.ISimplifier
  • org.sat4j.specs.ISolver (also extends org.sat4j.specs.IProblem)
    • org.sat4j.minisat.core.ICDCL<D> (also extends org.sat4j.minisat.core.Learner, org.sat4j.minisat.core.UnitPropagationListener)
  • org.sat4j.specs.IVec<T>
  • org.sat4j.specs.IVecInt
  • org.sat4j.minisat.core.LearnedConstraintsDeletionStrategy
  • org.sat4j.minisat.core.LearningStrategy<D>
  • org.sat4j.tools.xplain.MinimizationStrategy
  • org.sat4j.minisat.core.RestartStrategy (also extends org.sat4j.minisat.core.ConflictTimer)
  • org.sat4j.specs.SearchListener<S>
  • org.sat4j.minisat.core.VarActivityListener
    • org.sat4j.minisat.core.ActivityListener
      • org.sat4j.minisat.core.ICDCL<D> (also extends org.sat4j.specs.ISolver, org.sat4j.minisat.core.Learner, org.sat4j.minisat.core.UnitPropagationListener)
    • org.sat4j.minisat.core.ICDCL<D> (also extends org.sat4j.specs.ISolver, org.sat4j.minisat.core.Learner, org.sat4j.minisat.core.UnitPropagationListener)
• org.sat4j.minisat.core.Undoable
• org.sat4j.minisat.core.UnitPropagationListener
  • org.sat4j.minisat.core.ICDCL<D> (also extends org.sat4j.specs.ISolver, org.sat4j.minisat.core.Learner)

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • org.sat4j.minisat.core.SimplificationType
    • org.sat4j.minisat.core.LearnedConstraintsEvaluationType
    • org.sat4j.tools.encoding.EncodingStrategy