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.constraints.pb, org.sat4j.minisat.core, org.sat4j.minisat.learning, org.sat4j.minisat.orders, org.sat4j.minisat.restarts, org.sat4j.minisat.uip, org.sat4j.opt, org.sat4j.reader, org.sat4j.reader.csp, org.sat4j.specs, org.sat4j.tools

Class Hierarchy

• java.lang.Object
  • org.sat4j.minisat.constraints.AbstractDataStructureFactory<L> (implements org.sat4j.minisat.core.DataStructureFactory<L>, 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.AbstractPBDataStructureFactory (implements org.sat4j.minisat.constraints.pb.IInternalPBConstraintCreator)
      • org.sat4j.minisat.constraints.AbstractPBClauseCardConstrDataStructure
        • org.sat4j.minisat.constraints.PuebloPBMinClauseCardConstrDataStructure
          • org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure
            • org.sat4j.minisat.constraints.PBMaxCBClauseCardConstrDataStructure
            • org.sat4j.minisat.constraints.PBMaxClauseAtLeastConstrDataStructure
          • org.sat4j.minisat.constraints.PBMinClauseCardConstrDataStructure
          • org.sat4j.minisat.constraints.PuebloPBMinClauseAtLeastConstrDataStructure
      • org.sat4j.minisat.constraints.PBMaxDataStructure
      • org.sat4j.minisat.constraints.PBMinDataStructure
      • org.sat4j.minisat.constraints.PuebloPBMinDataStructure
    • org.sat4j.minisat.constraints.ClausalDataStructureCB
    • org.sat4j.minisat.constraints.ClausalDataStructureCBWL
    • org.sat4j.minisat.constraints.ClausalDataStructureWL
    • org.sat4j.minisat.constraints.MixedDataStructureDaniel
      • org.sat4j.minisat.constraints.MixedDataStructureDanielCBWL
    • org.sat4j.minisat.constraints.MixedDataStructureWithBinary
    • org.sat4j.minisat.constraints.MixedDataStructureWithBinaryAndTernary
  • org.sat4j.AbstractLauncher (implements java.io.Serializable)
    • org.sat4j.AbstractOptimizationLauncher
      • org.sat4j.GenericOptLauncher
      • org.sat4j.LanceurPseudo2005
        • org.sat4j.LanceurPseudo2007
      • org.sat4j.MaxSatLauncher
    • org.sat4j.CSPLauncher
    • org.sat4j.Lanceur
  • org.sat4j.reader.csp.AllDiff (implements org.sat4j.reader.csp.Clausifiable)
  • org.sat4j.minisat.restarts.ArminRestarts (implements org.sat4j.minisat.core.RestartStrategy)
  • org.sat4j.core.ASolverFactory
    • org.sat4j.minisat.SolverFactory (implements java.io.Serializable)
  • org.sat4j.minisat.constraints.card.AtLeast (implements org.sat4j.minisat.core.Constr, java.io.Serializable, org.sat4j.minisat.core.Undoable)
    • org.sat4j.minisat.constraints.pb.AtLeastPB (implements org.sat4j.minisat.constraints.pb.PBConstr)
  • org.sat4j.minisat.constraints.cnf.BinaryClauses (implements org.sat4j.minisat.core.Constr, java.io.Serializable)
  • org.sat4j.reader.csp.BinarySupportEncoding (implements org.sat4j.reader.csp.Encoding)
  • org.sat4j.minisat.constraints.cnf.CBClause (implements org.sat4j.minisat.core.Constr, java.io.Serializable, org.sat4j.minisat.core.Undoable)
    • org.sat4j.minisat.constraints.cnf.MixableCBClause
      • org.sat4j.minisat.constraints.pb.MixableCBClausePB (implements org.sat4j.minisat.constraints.pb.PBConstr)
  • org.sat4j.reader.csp.Constant (implements org.sat4j.reader.csp.Evaluable)
  • org.sat4j.minisat.uip.DecisionUIP (implements org.sat4j.minisat.core.AssertingClauseGenerator, java.io.Serializable)
  • org.sat4j.core.DefaultComparator<A> (implements java.util.Comparator<T>, java.io.Serializable)
  • org.sat4j.tools.DimacsArrayReader (implements java.io.Serializable)
    • org.sat4j.tools.ExtendedDimacsArrayReader
  • org.sat4j.tools.DimacsArrayToDimacsConverter (implements java.io.Serializable)
    • org.sat4j.tools.ExtendedDimacsArrayToDimacsConverter
  • org.sat4j.tools.DimacsOutputSolver (implements org.sat4j.specs.ISolver)
  • org.sat4j.reader.csp.DirectEncoding (implements org.sat4j.reader.csp.Encoding)
  • org.sat4j.minisat.core.DotSearchListener (implements org.sat4j.minisat.core.SearchListener)
  • org.sat4j.reader.csp.EnumeratedDomain (implements org.sat4j.reader.csp.Domain)
  • org.sat4j.minisat.uip.FirstUIP (implements org.sat4j.minisat.core.AssertingClauseGenerator, java.io.Serializable)
  • org.sat4j.reader.csp.GeneralizedSupportEncoding (implements org.sat4j.reader.csp.Encoding)
  • org.sat4j.minisat.core.Handle<T> (implements java.io.Serializable)
  • org.sat4j.minisat.core.Heap (implements java.io.Serializable)
  • org.sat4j.minisat.core.IntQueue (implements java.io.Serializable)
  • org.sat4j.minisat.learning.LimitedLearning<L> (implements org.sat4j.minisat.core.LearningStrategy<L>)
    • org.sat4j.minisat.learning.ActiveLearning<L>
    • org.sat4j.minisat.learning.ClauseOnlyLearning<L>
    • org.sat4j.minisat.learning.FixedLengthLearning<L>
    • org.sat4j.minisat.learning.PercentLengthLearning<L>
  • org.sat4j.minisat.core.LiteralsUtils
  • org.sat4j.minisat.constraints.cnf.Lits (implements org.sat4j.minisat.core.ILits, java.io.Serializable)
    • org.sat4j.minisat.constraints.cnf.Lits2 (implements org.sat4j.minisat.core.ILits2)
      • org.sat4j.minisat.constraints.cnf.Lits23 (implements org.sat4j.minisat.core.ILits23)
    • org.sat4j.minisat.constraints.cnf.MarkableLits (implements org.sat4j.minisat.core.IMarkableLits)
  • org.sat4j.minisat.restarts.LubyRestarts (implements org.sat4j.minisat.core.RestartStrategy)
  • org.sat4j.minisat.constraints.pb.MapPb (implements org.sat4j.minisat.constraints.pb.IDataStructurePB)
    • org.sat4j.minisat.constraints.pb.ConflictMap (implements org.sat4j.minisat.constraints.pb.IConflict)
      • org.sat4j.minisat.constraints.pb.ConflictMapCardinality
      • org.sat4j.minisat.constraints.pb.ConflictMapClause
      • org.sat4j.minisat.constraints.pb.ConflictMapMerging
  • org.sat4j.minisat.constraints.card.MaxWatchCard (implements org.sat4j.minisat.core.Constr, java.io.Serializable, org.sat4j.minisat.core.Undoable)
  • org.sat4j.Messages
  • org.sat4j.minisat.learning.MiniSATLearning<L>
  • org.sat4j.minisat.restarts.MiniSATRestarts (implements org.sat4j.minisat.core.RestartStrategy)
  • org.sat4j.minisat.constraints.card.MinWatchCard (implements org.sat4j.minisat.core.Constr, java.io.Serializable, org.sat4j.minisat.core.Undoable)
    • org.sat4j.minisat.constraints.pb.MinWatchCardPB (implements org.sat4j.minisat.constraints.pb.PBConstr)
  • org.sat4j.MoreThanSAT
  • org.sat4j.reader.csp.Nogoods (implements org.sat4j.reader.csp.Relation)
  • org.sat4j.minisat.learning.NoLearningButHeuristics<L>
  • org.sat4j.minisat.learning.NoLearningNoHeuristics<L>
  • org.sat4j.opt.ObjectiveFunction (implements java.io.Serializable)
  • org.sat4j.reader.csp.Predicate (implements org.sat4j.reader.csp.Clausifiable)
  • org.sat4j.reader.csp.RangeDomain (implements org.sat4j.reader.csp.Domain)
  • org.sat4j.reader.Reader
    • org.sat4j.reader.AAGReader
    • org.sat4j.reader.AIGReader
    • org.sat4j.reader.CSPReader (implements org.sat4j.csp.xml.ICSPCallback)
      • org.sat4j.reader.CSPExtSupportReader
      • org.sat4j.reader.CSPSupportReader
    • org.sat4j.reader.DimacsReader (implements java.io.Serializable)
      • org.sat4j.reader.CardDimacsReader
      • org.sat4j.reader.ExtendedDimacsReader
    • org.sat4j.reader.GoodOPBReader (implements java.io.Serializable)
    • org.sat4j.reader.InstanceReader
    • org.sat4j.reader.LecteurDimacs (implements java.io.Serializable)
    • org.sat4j.reader.OPBReader2005 (implements java.io.Serializable)
      • org.sat4j.reader.OPBReader2006
        • org.sat4j.reader.OPBReader2007
    • org.sat4j.reader.XMLCSPReader
  • org.sat4j.tools.RemiUtils
  • org.sat4j.ResultsManager
  • org.sat4j.minisat.core.SearchParams (implements java.io.Serializable)
  • org.sat4j.reader.csp.SingletonDomain (implements org.sat4j.reader.csp.Domain)
  • org.sat4j.minisat.core.Solver<L> (implements org.sat4j.specs.ISolver, org.sat4j.minisat.core.Learner, org.sat4j.minisat.core.UnitPropagationListener)
    • org.sat4j.minisat.constraints.pb.PBSolver<L>
      • org.sat4j.minisat.constraints.pb.PBSolverClause
      • org.sat4j.minisat.constraints.pb.PBSolverMerging
      • org.sat4j.minisat.constraints.pb.PBSolverWithImpliedClause
  • org.sat4j.tools.SolverDecorator (implements org.sat4j.specs.ISolver, java.io.Serializable)
    • org.sat4j.opt.AbstractSelectorVariablesDecorator
      • org.sat4j.opt.MaxSatDecorator (implements org.sat4j.specs.IOptimizationProblem)
      • org.sat4j.opt.WeightedMaxSatDecorator (implements org.sat4j.specs.IOptimizationProblem)
    • org.sat4j.tools.GateTranslator
    • org.sat4j.opt.MinCostDecorator (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.opt.PseudoOptDecorator (implements org.sat4j.specs.IOptimizationProblem)
    • org.sat4j.tools.SingleSolutionDetector
    • org.sat4j.tools.SolutionCounter
  • org.sat4j.minisat.core.SolverStats (implements java.io.Serializable)
  • org.sat4j.reader.csp.Supports (implements org.sat4j.reader.csp.Relation)
    • org.sat4j.reader.csp.BessiereSupports
    • org.sat4j.reader.csp.GentSupports
    • org.sat4j.reader.csp.WalshSupports
  • org.sat4j.minisat.constraints.cnf.TernaryClauses (implements org.sat4j.minisat.core.Constr, java.io.Serializable)
  • org.sat4j.minisat.core.TextOutputListener (implements org.sat4j.minisat.core.SearchListener)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • org.sat4j.specs.ContradictionException
      • org.sat4j.reader.ParseFormatException
      • org.sat4j.specs.TimeoutException
  • org.sat4j.reader.csp.Var (implements org.sat4j.reader.csp.Evaluable)
  • org.sat4j.minisat.orders.VarOrder<L> (implements org.sat4j.minisat.core.IOrder<L>, java.io.Serializable)
    • org.sat4j.minisat.orders.JWOrder
    • org.sat4j.minisat.orders.MyOrder
    • org.sat4j.minisat.orders.PureOrder
  • org.sat4j.minisat.orders.VarOrderHeap<L> (implements org.sat4j.minisat.core.IOrder<L>, java.io.Serializable)
    • org.sat4j.minisat.orders.VarOrderHeapObjective
    • org.sat4j.minisat.orders.VarOrderHeapRsat
  • org.sat4j.core.Vec<T> (implements org.sat4j.specs.IVec<T>, java.io.Serializable)
  • org.sat4j.core.VecInt (implements org.sat4j.specs.IVecInt, java.io.Serializable)
  • org.sat4j.minisat.constraints.pb.WatchPb (implements org.sat4j.minisat.constraints.pb.PBConstr, java.io.Serializable, org.sat4j.minisat.core.Undoable)
    • org.sat4j.minisat.constraints.pb.MaxWatchPb
    • org.sat4j.minisat.constraints.pb.MinWatchPb
      • org.sat4j.minisat.constraints.pb.PuebloMinWatchPb
  • org.sat4j.minisat.constraints.cnf.WLClause (implements org.sat4j.minisat.core.Constr, java.io.Serializable)
    • org.sat4j.minisat.constraints.cnf.DefaultWLClause
      • org.sat4j.minisat.constraints.pb.WLClausePB (implements org.sat4j.minisat.constraints.pb.PBConstr)
    • org.sat4j.minisat.constraints.cnf.LearntWLClause
    • org.sat4j.minisat.constraints.cnf.OriginalWLClause

Interface Hierarchy

• org.sat4j.minisat.core.AssertingClauseGenerator
• org.sat4j.reader.csp.Clausifiable
  • org.sat4j.reader.csp.Relation
• org.sat4j.minisat.core.DataStructureFactory<L>
• org.sat4j.reader.csp.Encoding
• org.sat4j.reader.csp.Evaluable
• org.sat4j.specs.IConstr
  • org.sat4j.minisat.core.Constr (also extends org.sat4j.minisat.core.Propagatable)
    • org.sat4j.minisat.constraints.pb.PBConstr
  • org.sat4j.minisat.constraints.pb.PBConstr
• org.sat4j.minisat.constraints.pb.IDataStructurePB
  • org.sat4j.minisat.constraints.pb.IConflict
• org.sat4j.minisat.constraints.pb.IInternalPBConstraintCreator
• org.sat4j.minisat.core.ILits
  • org.sat4j.minisat.core.ILits2
    • org.sat4j.minisat.core.ILits23
  • org.sat4j.minisat.core.ILits23
  • org.sat4j.minisat.core.IMarkableLits
• org.sat4j.minisat.core.IOrder<L>
• org.sat4j.specs.IProblem
  • org.sat4j.specs.IOptimizationProblem
  • org.sat4j.specs.ISolver (also extends java.io.Serializable)
• java.lang.Iterable<T>
  • org.sat4j.reader.csp.Domain
  • org.sat4j.specs.IVec<T>
  • org.sat4j.specs.IVecInt
• org.sat4j.minisat.core.Learner
• org.sat4j.minisat.core.Propagatable
  • org.sat4j.minisat.core.Constr (also extends org.sat4j.specs.IConstr)
    • org.sat4j.minisat.constraints.pb.PBConstr
  • org.sat4j.minisat.constraints.pb.PBConstr
• java.io.Serializable
  • org.sat4j.specs.ISolver (also extends org.sat4j.specs.IProblem)
  • org.sat4j.minisat.core.LearningStrategy<L>
  • org.sat4j.minisat.core.RestartStrategy
  • org.sat4j.minisat.core.SearchListener
  • org.sat4j.minisat.core.VarActivityListener
• org.sat4j.minisat.core.Undoable
• org.sat4j.minisat.core.UnitPropagationListener

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • org.sat4j.ResultCode
    • org.sat4j.ExitCode
    • org.sat4j.minisat.core.Lbool