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.uip, org.sat4j.reader, org.sat4j.specs, org.sat4j.tools

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.AbstractPBDataStructureFactory (implements org.sat4j.minisat.constraints.pb.IInternalPBConstraintCreator)
      • org.sat4j.minisat.constraints.PBMaxDataStructure
      • org.sat4j.minisat.constraints.PBMinDataStructure
    • 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.core.ASolverFactory
    • org.sat4j.minisat.SolverFactory
  • org.sat4j.minisat.constraints.card.AtLeast (implements org.sat4j.minisat.core.Constr, java.io.Serializable, org.sat4j.minisat.core.Undoable)
  • org.sat4j.minisat.constraints.cnf.BinaryClauses (implements org.sat4j.minisat.core.Constr, java.io.Serializable)
  • 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.reader.CSPReader (implements org.sat4j.reader.Reader)
  • org.sat4j.minisat.uip.DecisionUIP (implements org.sat4j.minisat.core.AssertingClauseGenerator, java.io.Serializable)
  • org.sat4j.reader.DimacsReader (implements org.sat4j.reader.Reader, java.io.Serializable)
    • org.sat4j.reader.CardDimacsReader
    • org.sat4j.reader.ExtendedDimacsReader
  • org.sat4j.minisat.uip.FirstUIP (implements org.sat4j.minisat.core.AssertingClauseGenerator, java.io.Serializable)
  • org.sat4j.reader.GoodOPBReader (implements org.sat4j.reader.Reader, java.io.Serializable)
  • org.sat4j.minisat.core.Handle<T> (implements java.io.Serializable)
  • org.sat4j.minisat.core.Heap (implements java.io.Serializable)
  • org.sat4j.reader.InstanceReader (implements org.sat4j.reader.Reader)
  • org.sat4j.minisat.core.IntQueue (implements java.io.Serializable)
  • org.sat4j.Lanceur
    • org.sat4j.LanceurPseudo2005
      • org.sat4j.LanceurPseudo2005Dicho
  • org.sat4j.reader.LecteurDimacs (implements org.sat4j.reader.Reader, java.io.Serializable)
  • org.sat4j.minisat.learning.LimitedLearning (implements org.sat4j.minisat.core.LearningStrategy, java.io.Serializable)
    • org.sat4j.minisat.learning.ActiveLearning
    • org.sat4j.minisat.learning.FixedLengthLearning
  • 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.card.MaxWatchCard (implements org.sat4j.minisat.core.Constr, java.io.Serializable, org.sat4j.minisat.core.Undoable)
  • org.sat4j.minisat.learning.MiniSATLearning (implements java.io.Serializable)
  • org.sat4j.minisat.constraints.card.MinWatchCard (implements org.sat4j.minisat.core.Constr, java.io.Serializable, org.sat4j.minisat.core.Undoable)
  • org.sat4j.MoreThanSAT
  • org.sat4j.minisat.learning.NoLearningButHeuristics (implements java.io.Serializable)
  • org.sat4j.minisat.learning.NoLearningNoHeuristics (implements java.io.Serializable)
  • org.sat4j.reader.ObjectiveFunction
  • org.sat4j.reader.OPBReader2005 (implements org.sat4j.reader.Reader, java.io.Serializable)
  • org.sat4j.tools.RemiUtils
  • org.sat4j.minisat.core.SearchParams (implements java.io.Serializable)
  • org.sat4j.minisat.core.Solver (implements org.sat4j.specs.ISolver, org.sat4j.minisat.core.Learner, java.io.Serializable, org.sat4j.minisat.core.UnitPropagationListener)
    • org.sat4j.minisat.constraints.pb.PBSolver
  • org.sat4j.tools.SolverDecorator (implements org.sat4j.specs.ISolver, java.io.Serializable)
    • org.sat4j.tools.Minimal4CardinalityModel (implements java.io.Serializable)
    • org.sat4j.tools.Minimal4InclusionModel (implements java.io.Serializable)
    • org.sat4j.tools.ModelIterator (implements java.io.Serializable)
    • org.sat4j.tools.SolutionCounter
  • org.sat4j.minisat.core.SolverStats (implements java.io.Serializable)
  • 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.minisat.orders.VarOrder (implements org.sat4j.minisat.core.IOrder, java.io.Serializable)
    • org.sat4j.minisat.orders.JWOrder
    • org.sat4j.minisat.orders.MyOrder
    • org.sat4j.minisat.orders.PureOrder
  • org.sat4j.minisat.orders.VarOrderHeap (implements org.sat4j.minisat.core.IOrder, java.io.Serializable)
  • 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.core.Constr, org.sat4j.minisat.core.Undoable)
    • org.sat4j.minisat.constraints.pb.MaxWatchPb (implements java.io.Serializable)
    • org.sat4j.minisat.constraints.pb.MinWatchPb (implements java.io.Serializable)
  • org.sat4j.minisat.constraints.cnf.WLClause (implements org.sat4j.minisat.core.Constr, java.io.Serializable)

Interface Hierarchy

• org.sat4j.minisat.core.AssertingClauseGenerator
• org.sat4j.minisat.core.DataStructureFactory
• org.sat4j.specs.IConstr
  • org.sat4j.minisat.core.Constr (also extends org.sat4j.minisat.core.Propagatable)
• 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.IOrder
• org.sat4j.specs.IProblem
  • org.sat4j.specs.ISolver
• java.lang.Iterable<T>
  • org.sat4j.specs.IVec<T>
  • org.sat4j.specs.IVecInt
• org.sat4j.minisat.core.Learner
• org.sat4j.minisat.core.LearningStrategy
• org.sat4j.minisat.core.Propagatable
  • org.sat4j.minisat.core.Constr (also extends org.sat4j.specs.IConstr)
• org.sat4j.reader.Reader
• org.sat4j.minisat.core.SearchListener
• org.sat4j.minisat.core.Undoable
• org.sat4j.minisat.core.UnitPropagationListener
• org.sat4j.minisat.core.VarActivityListener

Enum Hierarchy

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