Home | History | Annotate | Download | only in plugins

META-INF/MANIFEST.MF
META-INF/ECLIPSEF.SF
META-INF/ECLIPSEF.RSA
META-INF/
META-INF/eclipse.inf
org/
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/minisat/uip/
org/sat4j/opt/
org/sat4j/reader/
org/sat4j/specs/
org/sat4j/tools/
org/sat4j/tools/xplain/
target/
target/META-INF/
about.html
org/sat4j/AbstractLauncher$1.class

package org.sat4j
 org.sat4j.AbstractLauncher$1 extends java.lang.Thread {
	private final org.sat4j.AbstractLauncher this$0
	void  (org.sat4j.AbstractLauncher) 
	public void run () 
}

org/sat4j/AbstractLauncher$2.class

package org.sat4j
 org.sat4j.AbstractLauncher$2 extends java.lang.Thread {
	private final org.sat4j.AbstractLauncher this$0
	void  (org.sat4j.AbstractLauncher) 
	public void run () 
}

org/sat4j/AbstractLauncher.class

package org.sat4j
public abstract org.sat4j.AbstractLauncher extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	public static final String SOLUTION_PREFIX
	public static final String ANSWER_PREFIX
	public static final String COMMENT_PREFIX
	private long beginTime
	private org.sat4j.ExitCode exitCode
	protected org.sat4j.reader.Reader reader
	private transient java.io.PrintWriter out
	protected transient Thread shutdownHook
	protected org.sat4j.specs.ISolver solver
	private boolean silent
	static Class class$org$sat4j$AbstractLauncher
	protected void  () 
	protected void displayResult () 
	public abstract void usage () 
	protected final void displayHeader () 
	public void displayLicense () 
	protected org.sat4j.specs.IProblem readProblem (java.lang.String)  throws java.io.FileNotFoundException org.sat4j.reader.ParseFormatException java.io.IOException org.sat4j.specs.ContradictionException 
	protected abstract org.sat4j.reader.Reader createReader (org.sat4j.specs.ISolver, java.lang.String) 
	public void run (java.lang.String[]) 
	protected abstract java.lang.String getInstanceName (java.lang.String[]) 
	protected abstract org.sat4j.specs.ISolver configureSolver (java.lang.String[]) 
	public void log (java.lang.String) 
	protected void solve (org.sat4j.specs.IProblem)  throws org.sat4j.specs.TimeoutException 
	public final void setExitCode (org.sat4j.ExitCode) 
	public final org.sat4j.ExitCode getExitCode () 
	public final long getBeginTime () 
	public final org.sat4j.reader.Reader getReader () 
	public void setLogWriter (java.io.PrintWriter) 
	public java.io.PrintWriter getLogWriter () 
	protected void setSilent (boolean) 
	private void readObject (java.io.ObjectInputStream)  throws java.io.IOException java.lang.ClassNotFoundException 
	protected void showAvailableSolvers (org.sat4j.core.ASolverFactory) 
	static java.lang.Class class$ (java.lang.String) 
}

org/sat4j/AbstractOptimizationLauncher.class

package org.sat4j
public abstract org.sat4j.AbstractOptimizationLauncher extends org.sat4j.AbstractLauncher {
	private static final long serialVersionUID
	private static final String CURRENT_OPTIMUM_VALUE_PREFIX
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$AbstractOptimizationLauncher
	public void  () 
	protected void displayResult () 
	protected void displayAnswer () 
	protected void solve (org.sat4j.specs.IProblem)  throws org.sat4j.specs.TimeoutException 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/BasicLauncher.class

package org.sat4j
public org.sat4j.BasicLauncher extends org.sat4j.AbstractLauncher {
	private static final long serialVersionUID
	private final org.sat4j.core.ASolverFactory factory
	public void  (org.sat4j.core.ASolverFactory) 
	public static void main (java.lang.String[]) 
	protected org.sat4j.specs.ISolver configureSolver (java.lang.String[]) 
	protected org.sat4j.reader.Reader createReader (org.sat4j.specs.ISolver, java.lang.String) 
	public void usage () 
	protected java.lang.String getInstanceName (java.lang.String[]) 
}

org/sat4j/ExitCode.class

package org.sat4j
public final org.sat4j.ExitCode extends java.lang.Object {
	public static final org.sat4j.ExitCode OPTIMUM_FOUND
	public static final org.sat4j.ExitCode SATISFIABLE
	public static final org.sat4j.ExitCode UNKNOWN
	public static final org.sat4j.ExitCode UNSATISFIABLE
	private final int value
	private final String str
	private void  (int, java.lang.String) 
	public int value () 
	public java.lang.String toString () 
	static void  () 
}

org/sat4j/LightFactory.class

package org.sat4j
public org.sat4j.LightFactory extends org.sat4j.core.ASolverFactory {
	private static final long serialVersionUID
	private static org.sat4j.LightFactory instance
	public void  () 
	private static synchronized void createInstance () 
	public static org.sat4j.LightFactory instance () 
	public org.sat4j.specs.ISolver defaultSolver () 
	public org.sat4j.specs.ISolver lightSolver () 
	public static void main (java.lang.String[]) 
}

org/sat4j/Messages.class

package org.sat4j
public final org.sat4j.Messages extends java.lang.Object {
	private static final String BUNDLE_NAME
	private static final java.util.ResourceBundle RESOURCE_BUNDLE
	private void  () 
	public static java.lang.String getString (java.lang.String) 
	static void  () 
}

org/sat4j/MoreThanSAT.class

package org.sat4j
public final org.sat4j.MoreThanSAT extends java.lang.Object {
	private void  () 
	public static void main (java.lang.String[]) 
}

org/sat4j/core/ASolverFactory.class

package org.sat4j.core
public abstract org.sat4j.core.ASolverFactory extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	public void  () 
	public java.lang.String[] solverNames () 
	public org.sat4j.specs.ISolver createSolverByName (java.lang.String) 
	public abstract org.sat4j.specs.ISolver defaultSolver () 
	public abstract org.sat4j.specs.ISolver lightSolver () 
}

org/sat4j/core/DefaultComparator.class

package org.sat4j.core
public final org.sat4j.core.DefaultComparator extends java.lang.Object implements java.util.Comparator java.io.Serializable  {
	private static final long serialVersionUID
	public void  () 
	public int compare (java.lang.Comparable, java.lang.Comparable) 
	public int compare (java.lang.Object, java.lang.Object) 
}

org/sat4j/core/LiteralsUtils.class

package org.sat4j.core
public final org.sat4j.core.LiteralsUtils extends java.lang.Object {
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$core$LiteralsUtils
	private void  () 
	public static int var (int) 
	public static int neg (int) 
	public static int posLit (int) 
	public static int negLit (int) 
	public static int toDimacs (int) 
	public static int toInternal (int) 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/core/ReadOnlyVec.class

package org.sat4j.core
public final org.sat4j.core.ReadOnlyVec extends java.lang.Object implements org.sat4j.specs.IVec  {
	private static final long serialVersionUID
	private final org.sat4j.specs.IVec vec
	public void  (org.sat4j.specs.IVec) 
	public void clear () 
	public void copyTo (org.sat4j.specs.IVec) 
	public void copyTo (java.lang.Object[]) 
	public java.lang.Object delete (int) 
	public void ensure (int) 
	public java.lang.Object get (int) 
	public void growTo (int, java.lang.Object) 
	public void insertFirst (java.lang.Object) 
	public void insertFirstWithShifting (java.lang.Object) 
	public boolean isEmpty () 
	public java.util.Iterator iterator () 
	public java.lang.Object last () 
	public void moveTo (org.sat4j.specs.IVec) 
	public void moveTo (int, int) 
	public void pop () 
	public org.sat4j.specs.IVec push (java.lang.Object) 
	public void remove (java.lang.Object) 
	public void set (int, java.lang.Object) 
	public void shrink (int) 
	public void shrinkTo (int) 
	public int size () 
	public void sort (java.util.Comparator) 
	public void sortUnique (java.util.Comparator) 
	public java.lang.Object[] toArray () 
	public void unsafePush (java.lang.Object) 
	public boolean contains (java.lang.Object) 
	public int indexOf (java.lang.Object) 
	public java.lang.String toString () 
}

org/sat4j/core/ReadOnlyVecInt.class

package org.sat4j.core
public final org.sat4j.core.ReadOnlyVecInt extends java.lang.Object implements org.sat4j.specs.IVecInt  {
	private static final long serialVersionUID
	private final org.sat4j.specs.IVecInt vec
	public void  (org.sat4j.specs.IVecInt) 
	public void clear () 
	public boolean contains (int) 
	public int containsAt (int) 
	public int containsAt (int, int) 
	public void copyTo (org.sat4j.specs.IVecInt) 
	public void copyTo (int[]) 
	public int delete (int) 
	public void ensure (int) 
	public int get (int) 
	public void growTo (int, int) 
	public void insertFirst (int) 
	public boolean isEmpty () 
	public org.sat4j.specs.IteratorInt iterator () 
	public int last () 
	public void moveTo (org.sat4j.specs.IVecInt) 
	public void moveTo (int[]) 
	public void moveTo (int, int) 
	public void moveTo2 (org.sat4j.specs.IVecInt) 
	public org.sat4j.specs.IVecInt pop () 
	public org.sat4j.specs.IVecInt push (int) 
	public void remove (int) 
	public void set (int, int) 
	public void shrink (int) 
	public void shrinkTo (int) 
	public int size () 
	public void sort () 
	public void sortUnique () 
	public int unsafeGet (int) 
	public void unsafePush (int) 
	public int[] toArray () 
	public int indexOf (int) 
	public java.lang.String toString () 
}

org/sat4j/core/Vec$1.class

package org.sat4j.core
 org.sat4j.core.Vec$1 extends java.lang.Object implements java.util.Iterator  {
	private int i
	private final org.sat4j.core.Vec this$0
	void  (org.sat4j.core.Vec) 
	public boolean hasNext () 
	public java.lang.Object next () 
	public void remove () 
}

org/sat4j/core/Vec.class

package org.sat4j.core
public final org.sat4j.core.Vec extends java.lang.Object implements org.sat4j.specs.IVec  {
	private static final long serialVersionUID
	private int nbelem
	private Object[] myarray
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$core$Vec
	public void  () 
	public void  (java.lang.Object[]) 
	public void  (int) 
	public void  (int, java.lang.Object) 
	public int size () 
	public void shrink (int) 
	public void shrinkTo (int) 
	public void pop () 
	public void growTo (int, java.lang.Object) 
	public void ensure (int) 
	public org.sat4j.specs.IVec push (java.lang.Object) 
	public void unsafePush (java.lang.Object) 
	public void insertFirst (java.lang.Object) 
	public void insertFirstWithShifting (java.lang.Object) 
	public void clear () 
	public java.lang.Object last () 
	public java.lang.Object get (int) 
	public void set (int, java.lang.Object) 
	public void remove (java.lang.Object) 
	public java.lang.Object delete (int) 
	public void copyTo (org.sat4j.specs.IVec) 
	public void copyTo (java.lang.Object[]) 
	public void moveTo (org.sat4j.specs.IVec) 
	public void moveTo (int, int) 
	public java.lang.Object[] toArray () 
	public java.lang.String toString () 
	void selectionSort (int, int, java.util.Comparator) 
	void sort (int, int, java.util.Comparator) 
	public void sort (java.util.Comparator) 
	public void sortUnique (java.util.Comparator) 
	public boolean equals (java.lang.Object) 
	public int hashCode () 
	public java.util.Iterator iterator () 
	public boolean isEmpty () 
	public boolean contains (java.lang.Object) 
	public int indexOf (java.lang.Object) 
	static java.lang.Class class$ (java.lang.String) 
	static int access$000 (org.sat4j.core.Vec) 
	static java.lang.Object[] access$100 (org.sat4j.core.Vec) 
	static void  () 
}

org/sat4j/core/VecInt$1$1.class

package org.sat4j.core
 org.sat4j.core.VecInt$1$1 extends java.lang.Object implements org.sat4j.specs.IteratorInt  {
	private final org.sat4j.core.VecInt$1 this$0
	void  (org.sat4j.core.VecInt$1) 
	public boolean hasNext () 
	public int next () 
}

org/sat4j/core/VecInt$1.class

package org.sat4j.core
final org.sat4j.core.VecInt$1 extends java.lang.Object implements org.sat4j.specs.IVecInt  {
	private static final long serialVersionUID
	void  () 
	public int size () 
	public void shrink (int) 
	public void shrinkTo (int) 
	public org.sat4j.specs.IVecInt pop () 
	public void growTo (int, int) 
	public void ensure (int) 
	public org.sat4j.specs.IVecInt push (int) 
	public void unsafePush (int) 
	public void clear () 
	public int last () 
	public int get (int) 
	public void set (int, int) 
	public boolean contains (int) 
	public void copyTo (org.sat4j.specs.IVecInt) 
	public void copyTo (int[]) 
	public void moveTo (org.sat4j.specs.IVecInt) 
	public void moveTo2 (org.sat4j.specs.IVecInt) 
	public void moveTo (int[]) 
	public void insertFirst (int) 
	public void remove (int) 
	public int delete (int) 
	public void sort () 
	public void sortUnique () 
	public int unsafeGet (int) 
	public int containsAt (int) 
	public int containsAt (int, int) 
	public void moveTo (int, int) 
	public boolean isEmpty () 
	public org.sat4j.specs.IteratorInt iterator () 
	public int[] toArray () 
	public int indexOf (int) 
	public java.lang.String toString () 
}

org/sat4j/core/VecInt$2.class

package org.sat4j.core
 org.sat4j.core.VecInt$2 extends java.lang.Object implements org.sat4j.specs.IteratorInt  {
	private int i
	private final org.sat4j.core.VecInt this$0
	void  (org.sat4j.core.VecInt) 
	public boolean hasNext () 
	public int next () 
}

org/sat4j/core/VecInt.class

package org.sat4j.core
public final org.sat4j.core.VecInt extends java.lang.Object implements org.sat4j.specs.IVecInt  {
	private static final long serialVersionUID
	public static final org.sat4j.specs.IVecInt EMPTY
	private int nbelem
	private int[] myarray
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$core$VecInt
	public void  () 
	public void  (int) 
	public void  (int[]) 
	public void  (int, int) 
	public int size () 
	public void shrink (int) 
	public void shrinkTo (int) 
	public org.sat4j.specs.IVecInt pop () 
	public void growTo (int, int) 
	public void ensure (int) 
	public org.sat4j.specs.IVecInt push (int) 
	public void unsafePush (int) 
	public void clear () 
	public int last () 
	public int get (int) 
	public int unsafeGet (int) 
	public void set (int, int) 
	public boolean contains (int) 
	public int indexOf (int) 
	public int containsAt (int) 
	public int containsAt (int, int) 
	public void copyTo (org.sat4j.specs.IVecInt) 
	public void copyTo (int[]) 
	public void moveTo (org.sat4j.specs.IVecInt) 
	public void moveTo2 (org.sat4j.specs.IVecInt) 
	public void moveTo (int, int) 
	public void moveTo (int[]) 
	public void insertFirst (int) 
	public void remove (int) 
	public int delete (int) 
	public java.lang.String toString () 
	void selectionSort (int, int) 
	void sort (int, int) 
	public void sort () 
	public void sortUnique () 
	public boolean equals (java.lang.Object) 
	public int hashCode () 
	public void pushAll (org.sat4j.specs.IVecInt) 
	public boolean isSubsetOf (org.sat4j.core.VecInt) 
	public org.sat4j.specs.IteratorInt iterator () 
	public boolean isEmpty () 
	public int[] toArray () 
	static java.lang.Class class$ (java.lang.String) 
	static int access$000 (org.sat4j.core.VecInt) 
	static int[] access$100 (org.sat4j.core.VecInt) 
	static void  () 
}

org/sat4j/messages.properties
org/sat4j/minisat/SolverFactory.class

package org.sat4j.minisat
public final org.sat4j.minisat.SolverFactory extends org.sat4j.core.ASolverFactory {
	private static final long serialVersionUID
	private static org.sat4j.minisat.SolverFactory instance
	private void  () 
	private static synchronized void createInstance () 
	public static org.sat4j.minisat.SolverFactory instance () 
	public static org.sat4j.minisat.core.Solver newMiniLearningHeap () 
	public static org.sat4j.minisat.core.Solver newMiniLearningHeapEZSimp () 
	public static org.sat4j.minisat.core.Solver newMiniLearningHeapExpSimp () 
	public static org.sat4j.minisat.core.Solver newMiniLearningHeapRsatExpSimp () 
	public static org.sat4j.minisat.core.Solver newMiniLearningHeapRsatExpSimpBiere () 
	public static org.sat4j.minisat.core.Solver newMiniLearningHeapRsatExpSimpLuby () 
	private static org.sat4j.minisat.core.Solver newBestCurrentSolverConfiguration (org.sat4j.minisat.core.DataStructureFactory) 
	public static org.sat4j.minisat.core.Solver newGreedySolver () 
	public static org.sat4j.minisat.core.Solver newDefaultAutoErasePhaseSaving () 
	public static org.sat4j.minisat.core.Solver newBestWL () 
	public static org.sat4j.minisat.core.Solver newBestHT () 
	public static org.sat4j.minisat.core.Solver newGlucose () 
	public static org.sat4j.minisat.core.Solver newMiniLearningHeap (org.sat4j.minisat.core.DataStructureFactory) 
	public static org.sat4j.minisat.core.Solver newMiniLearningPure () 
	public static org.sat4j.minisat.core.Solver newMiniLearningCBWLPure () 
	public static org.sat4j.minisat.core.Solver newMiniLearning (org.sat4j.minisat.core.DataStructureFactory, org.sat4j.minisat.core.IOrder) 
	public static org.sat4j.minisat.core.Solver newMiniLearningHeapEZSimpNoRestarts () 
	public static org.sat4j.minisat.core.Solver newMiniLearningHeapEZSimpLongRestarts () 
	public static org.sat4j.minisat.core.Solver newMiniSATHeap () 
	public static org.sat4j.minisat.core.Solver newMiniSATHeapEZSimp () 
	public static org.sat4j.minisat.core.Solver newMiniSATHeapExpSimp () 
	public static org.sat4j.minisat.core.Solver newMiniSATHeap (org.sat4j.minisat.core.DataStructureFactory) 
	public static org.sat4j.minisat.core.Solver newRelsat () 
	public static org.sat4j.minisat.core.Solver newBackjumping () 
	public static org.sat4j.specs.ISolver newMinOneSolver () 
	public static org.sat4j.specs.ISolver newDefault () 
	public org.sat4j.specs.ISolver defaultSolver () 
	public static org.sat4j.specs.ISolver newLight () 
	public org.sat4j.specs.ISolver lightSolver () 
	public static org.sat4j.specs.ISolver newDimacsOutput () 
}

org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.class

package org.sat4j.minisat.constraints
public abstract org.sat4j.minisat.constraints.AbstractCardinalityDataStructure extends org.sat4j.minisat.constraints.AbstractDataStructureFactory {
	private static final long serialVersionUID
	public void  () 
	protected org.sat4j.minisat.core.ILits createLits () 
}

org/sat4j/minisat/constraints/AbstractDataStructureFactory.class

package org.sat4j.minisat.constraints
public abstract org.sat4j.minisat.constraints.AbstractDataStructureFactory extends java.lang.Object implements org.sat4j.minisat.core.DataStructureFactory java.io.Serializable  {
	private static final long serialVersionUID
	protected org.sat4j.minisat.core.ILits lits
	private final org.sat4j.specs.IVec tmp
	protected org.sat4j.minisat.core.UnitPropagationListener solver
	protected org.sat4j.minisat.core.Learner learner
	public void conflictDetectedInWatchesFor (int, int) 
	public org.sat4j.specs.IVec getWatchesFor (int) 
	protected void  () 
	protected abstract org.sat4j.minisat.core.ILits createLits () 
	public org.sat4j.minisat.core.ILits getVocabulary () 
	public void setUnitPropagationListener (org.sat4j.minisat.core.UnitPropagationListener) 
	public void setLearner (org.sat4j.minisat.core.Learner) 
	public void reset () 
	public void learnConstraint (org.sat4j.minisat.core.Constr) 
	public org.sat4j.minisat.core.Constr createCardinalityConstraint (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
}

org/sat4j/minisat/constraints/CardinalityDataStructure.class

package org.sat4j.minisat.constraints
public org.sat4j.minisat.constraints.CardinalityDataStructure extends org.sat4j.minisat.constraints.AbstractCardinalityDataStructure {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.minisat.core.Constr createUnregisteredClause (org.sat4j.specs.IVecInt) 
	public org.sat4j.minisat.core.Constr createClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.minisat.core.Constr createCardinalityConstraint (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
}

org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.class

package org.sat4j.minisat.constraints
public org.sat4j.minisat.constraints.CardinalityDataStructureYanMax extends org.sat4j.minisat.constraints.AbstractCardinalityDataStructure {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.minisat.core.Constr createClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.minisat.core.Constr createUnregisteredClause (org.sat4j.specs.IVecInt) 
	public org.sat4j.minisat.core.Constr createCardinalityConstraint (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
}

org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.class

package org.sat4j.minisat.constraints
public org.sat4j.minisat.constraints.CardinalityDataStructureYanMin extends org.sat4j.minisat.constraints.AbstractCardinalityDataStructure {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.minisat.core.Constr createClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.minisat.core.Constr createUnregisteredClause (org.sat4j.specs.IVecInt) 
	public org.sat4j.minisat.core.Constr createCardinalityConstraint (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
}

org/sat4j/minisat/constraints/ClausalDataStructureCB.class

package org.sat4j.minisat.constraints
public org.sat4j.minisat.constraints.ClausalDataStructureCB extends org.sat4j.minisat.constraints.AbstractDataStructureFactory {
	private static final long serialVersionUID
	public void  () 
	public void conflictDetectedInWatchesFor (int, int) 
	public org.sat4j.specs.IVec getWatchesFor (int) 
	public org.sat4j.minisat.core.Constr createClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.minisat.core.Constr createUnregisteredClause (org.sat4j.specs.IVecInt) 
	protected org.sat4j.minisat.core.ILits createLits () 
}

org/sat4j/minisat/constraints/ClausalDataStructureCBWL.class

package org.sat4j.minisat.constraints
public org.sat4j.minisat.constraints.ClausalDataStructureCBWL extends org.sat4j.minisat.constraints.AbstractDataStructureFactory {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.minisat.core.Constr createClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.minisat.core.Constr createUnregisteredClause (org.sat4j.specs.IVecInt) 
	protected org.sat4j.minisat.core.ILits createLits () 
}

org/sat4j/minisat/constraints/ClausalDataStructureWL.class

package org.sat4j.minisat.constraints
public org.sat4j.minisat.constraints.ClausalDataStructureWL extends org.sat4j.minisat.constraints.AbstractDataStructureFactory {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.minisat.core.Constr createClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.minisat.core.Constr createUnregisteredClause (org.sat4j.specs.IVecInt) 
	protected org.sat4j.minisat.core.ILits createLits () 
}

org/sat4j/minisat/constraints/MixedDataStructureDanielCBWL.class

package org.sat4j.minisat.constraints
public org.sat4j.minisat.constraints.MixedDataStructureDanielCBWL extends org.sat4j.minisat.constraints.MixedDataStructureDanielWL {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.minisat.core.Constr createClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
}

org/sat4j/minisat/constraints/MixedDataStructureDanielHT.class

package org.sat4j.minisat.constraints
public org.sat4j.minisat.constraints.MixedDataStructureDanielHT extends org.sat4j.minisat.constraints.AbstractDataStructureFactory {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.minisat.core.Constr createCardinalityConstraint (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.minisat.core.Constr createClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.minisat.core.Constr createUnregisteredClause (org.sat4j.specs.IVecInt) 
	protected org.sat4j.minisat.core.ILits createLits () 
}

org/sat4j/minisat/constraints/MixedDataStructureDanielWL.class

package org.sat4j.minisat.constraints
public org.sat4j.minisat.constraints.MixedDataStructureDanielWL extends org.sat4j.minisat.constraints.AbstractDataStructureFactory {
	private static final long serialVersionUID
	public void  () 
	public org.sat4j.minisat.core.Constr createCardinalityConstraint (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.minisat.core.Constr createClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.minisat.core.Constr createUnregisteredClause (org.sat4j.specs.IVecInt) 
	protected org.sat4j.minisat.core.ILits createLits () 
}

org/sat4j/minisat/constraints/card/AtLeast.class

package org.sat4j.minisat.constraints.card
public org.sat4j.minisat.constraints.card.AtLeast extends java.lang.Object implements org.sat4j.minisat.core.Constr org.sat4j.minisat.core.Undoable java.io.Serializable  {
	private static final long serialVersionUID
	protected int maxUnsatisfied
	private int counter
	protected final int[] lits
	protected final org.sat4j.minisat.core.ILits voc
	protected void  (org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt, int) 
	protected static int niceParameters (org.sat4j.minisat.core.UnitPropagationListener, org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public static org.sat4j.minisat.core.Constr atLeastNew (org.sat4j.minisat.core.UnitPropagationListener, org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public void remove (org.sat4j.minisat.core.UnitPropagationListener) 
	public boolean propagate (org.sat4j.minisat.core.UnitPropagationListener, int) 
	public boolean simplify () 
	public void undo (int) 
	public void calcReason (int, org.sat4j.specs.IVecInt) 
	public boolean learnt () 
	public double getActivity () 
	public void incActivity (double) 
	public boolean locked () 
	public void setLearnt () 
	public void register () 
	public int size () 
	public int get (int) 
	public void rescaleBy (double) 
	public void assertConstraint (org.sat4j.minisat.core.UnitPropagationListener) 
	public java.lang.String toString () 
	public void forwardActivity (double) 
}

org/sat4j/minisat/constraints/card/MaxWatchCard.class

package org.sat4j.minisat.constraints.card
public final org.sat4j.minisat.constraints.card.MaxWatchCard extends java.lang.Object implements org.sat4j.minisat.core.Constr org.sat4j.minisat.core.Undoable java.io.Serializable  {
	private static final long serialVersionUID
	private int degree
	private final int[] lits
	private boolean moreThan
	private int watchCumul
	private final org.sat4j.minisat.core.ILits voc
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$minisat$constraints$card$MaxWatchCard
	private void  (org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt, boolean, int) 
	public void calcReason (int, org.sat4j.specs.IVecInt) 
	public double getActivity () 
	public void incActivity (double) 
	public boolean learnt () 
	public boolean locked () 
	public static org.sat4j.minisat.constraints.card.MaxWatchCard maxWatchCardNew (org.sat4j.minisat.core.UnitPropagationListener, org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt, boolean, int)  throws org.sat4j.specs.ContradictionException 
	public final void normalize () 
	public boolean propagate (org.sat4j.minisat.core.UnitPropagationListener, int) 
	public void remove (org.sat4j.minisat.core.UnitPropagationListener) 
	public void rescaleBy (double) 
	public boolean simplify () 
	public java.lang.String toString () 
	public void undo (int) 
	public void setLearnt () 
	public void register () 
	public int size () 
	public int get (int) 
	public void assertConstraint (org.sat4j.minisat.core.UnitPropagationListener) 
	public java.math.BigInteger getCoef (int) 
	public java.math.BigInteger getDegree () 
	public org.sat4j.minisat.core.ILits getVocabulary () 
	public void forwardActivity (double) 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/minisat/constraints/card/MinWatchCard.class

package org.sat4j.minisat.constraints.card
public org.sat4j.minisat.constraints.card.MinWatchCard extends java.lang.Object implements org.sat4j.minisat.core.Constr org.sat4j.minisat.core.Undoable java.io.Serializable  {
	private static final long serialVersionUID
	public static final boolean ATLEAST
	public static final boolean ATMOST
	protected int degree
	private final int[] lits
	private boolean moreThan
	protected int watchCumul
	private final org.sat4j.minisat.core.ILits voc
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$minisat$constraints$card$MinWatchCard
	public void  (org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt, boolean, int) 
	protected void  (org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt, int) 
	public void calcReason (int, org.sat4j.specs.IVecInt) 
	public double getActivity () 
	public void incActivity (double) 
	public boolean learnt () 
	protected static int linearisation (org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt) 
	public boolean locked () 
	public static org.sat4j.minisat.constraints.card.MinWatchCard minWatchCardNew (org.sat4j.minisat.core.UnitPropagationListener, org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt, boolean, int)  throws org.sat4j.specs.ContradictionException 
	public final void normalize () 
	public boolean propagate (org.sat4j.minisat.core.UnitPropagationListener, int) 
	public void remove (org.sat4j.minisat.core.UnitPropagationListener) 
	public void rescaleBy (double) 
	public boolean simplify () 
	public java.lang.String toString () 
	public void undo (int) 
	public void setLearnt () 
	public void register () 
	public int size () 
	public int get (int) 
	public void assertConstraint (org.sat4j.minisat.core.UnitPropagationListener) 
	protected void computeWatches () 
	protected org.sat4j.minisat.constraints.card.MinWatchCard computePropagation (org.sat4j.minisat.core.UnitPropagationListener)  throws org.sat4j.specs.ContradictionException 
	public int[] getLits () 
	public org.sat4j.minisat.core.ILits getVocabulary () 
	public boolean equals (java.lang.Object) 
	public int hashCode () 
	public void forwardActivity (double) 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/minisat/constraints/cnf/BinaryClause.class

package org.sat4j.minisat.constraints.cnf
public abstract org.sat4j.minisat.constraints.cnf.BinaryClause extends java.lang.Object implements org.sat4j.minisat.core.Constr java.io.Serializable  {
	private static final long serialVersionUID
	protected double activity
	private final org.sat4j.minisat.core.ILits voc
	protected int head
	protected int tail
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$minisat$constraints$cnf$BinaryClause
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
	public void calcReason (int, org.sat4j.specs.IVecInt) 
	public void remove (org.sat4j.minisat.core.UnitPropagationListener) 
	public boolean simplify () 
	public boolean propagate (org.sat4j.minisat.core.UnitPropagationListener, int) 
	public boolean locked () 
	public double getActivity () 
	public java.lang.String toString () 
	public int get (int) 
	public void rescaleBy (double) 
	public int size () 
	public void assertConstraint (org.sat4j.minisat.core.UnitPropagationListener) 
	public org.sat4j.minisat.core.ILits getVocabulary () 
	public int[] getLits () 
	public boolean equals (java.lang.Object) 
	public int hashCode () 
	public void register () 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/minisat/constraints/cnf/CBClause.class

package org.sat4j.minisat.constraints.cnf
public org.sat4j.minisat.constraints.cnf.CBClause extends java.lang.Object implements org.sat4j.minisat.core.Constr org.sat4j.minisat.core.Undoable java.io.Serializable  {
	private static final long serialVersionUID
	protected int falsified
	private boolean learnt
	protected final int[] lits
	protected final org.sat4j.minisat.core.ILits voc
	private double activity
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$minisat$constraints$cnf$CBClause
	public static org.sat4j.minisat.constraints.cnf.CBClause brandNewClause (org.sat4j.minisat.core.UnitPropagationListener, org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt) 
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits, boolean) 
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
	public void remove (org.sat4j.minisat.core.UnitPropagationListener) 
	public boolean propagate (org.sat4j.minisat.core.UnitPropagationListener, int) 
	public boolean simplify () 
	public void undo (int) 
	public void calcReason (int, org.sat4j.specs.IVecInt) 
	public boolean learnt () 
	public void incActivity (double) 
	public double getActivity () 
	public boolean locked () 
	public void setLearnt () 
	public void register () 
	public void rescaleBy (double) 
	public int size () 
	public int get (int) 
	public void assertConstraint (org.sat4j.minisat.core.UnitPropagationListener) 
	public java.lang.String toString () 
	public void forwardActivity (double) 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/minisat/constraints/cnf/Clauses.class

package org.sat4j.minisat.constraints.cnf
public abstract org.sat4j.minisat.constraints.cnf.Clauses extends java.lang.Object {
	public void  () 
	public static org.sat4j.specs.IVecInt sanityCheck (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits, org.sat4j.minisat.core.UnitPropagationListener)  throws org.sat4j.specs.ContradictionException 
	static boolean propagationCheck (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.UnitPropagationListener)  throws org.sat4j.specs.ContradictionException 
}

org/sat4j/minisat/constraints/cnf/HTClause.class

package org.sat4j.minisat.constraints.cnf
public abstract org.sat4j.minisat.constraints.cnf.HTClause extends java.lang.Object implements org.sat4j.minisat.core.Constr java.io.Serializable  {
	private static final long serialVersionUID
	protected double activity
	protected final int[] middleLits
	protected final org.sat4j.minisat.core.ILits voc
	protected int head
	protected int tail
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$minisat$constraints$cnf$HTClause
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
	public void calcReason (int, org.sat4j.specs.IVecInt) 
	public void remove (org.sat4j.minisat.core.UnitPropagationListener) 
	public boolean simplify () 
	public boolean propagate (org.sat4j.minisat.core.UnitPropagationListener, int) 
	public boolean locked () 
	public double getActivity () 
	public java.lang.String toString () 
	public int get (int) 
	public void rescaleBy (double) 
	public int size () 
	public void assertConstraint (org.sat4j.minisat.core.UnitPropagationListener) 
	public org.sat4j.minisat.core.ILits getVocabulary () 
	public int[] getLits () 
	public boolean equals (java.lang.Object) 
	public int hashCode () 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/minisat/constraints/cnf/LearntBinaryClause.class

package org.sat4j.minisat.constraints.cnf
public org.sat4j.minisat.constraints.cnf.LearntBinaryClause extends org.sat4j.minisat.constraints.cnf.BinaryClause {
	private static final long serialVersionUID
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
	public void setLearnt () 
	public boolean learnt () 
	public void forwardActivity (double) 
	public void incActivity (double) 
}

org/sat4j/minisat/constraints/cnf/LearntHTClause.class

package org.sat4j.minisat.constraints.cnf
public org.sat4j.minisat.constraints.cnf.LearntHTClause extends org.sat4j.minisat.constraints.cnf.HTClause {
	private static final long serialVersionUID
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
	public void register () 
	public boolean learnt () 
	public void setLearnt () 
	public void forwardActivity (double) 
	public void incActivity (double) 
}

org/sat4j/minisat/constraints/cnf/LearntWLClause.class

package org.sat4j.minisat.constraints.cnf
public final org.sat4j.minisat.constraints.cnf.LearntWLClause extends org.sat4j.minisat.constraints.cnf.WLClause {
	private static final long serialVersionUID
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$minisat$constraints$cnf$LearntWLClause
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
	public void register () 
	public boolean learnt () 
	public void setLearnt () 
	public void forwardActivity (double) 
	public void incActivity (double) 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/minisat/constraints/cnf/Lits.class

package org.sat4j.minisat.constraints.cnf
public final org.sat4j.minisat.constraints.cnf.Lits extends java.lang.Object implements java.io.Serializable org.sat4j.minisat.core.ILits  {
	private static final int DEFAULT_INIT_SIZE
	private static final long serialVersionUID
	private boolean[] pool
	private int realnVars
	private org.sat4j.specs.IVec[] watches
	private int[] level
	private org.sat4j.minisat.core.Constr[] reason
	private int maxvarid
	private org.sat4j.specs.IVec[] undos
	private boolean[] falsified
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$minisat$constraints$cnf$Lits
	public void  () 
	public final void init (int) 
	public int getFromPool (int) 
	public boolean belongsToPool (int) 
	public void resetPool () 
	public void ensurePool (int) 
	public void unassign (int) 
	public void satisfies (int) 
	public boolean isSatisfied (int) 
	public final boolean isFalsified (int) 
	public boolean isUnassigned (int) 
	public java.lang.String valueToString (int) 
	public int nVars () 
	public int not (int) 
	public static java.lang.String toString (int) 
	public void reset (int) 
	public int getLevel (int) 
	public void setLevel (int, int) 
	public org.sat4j.minisat.core.Constr getReason (int) 
	public void setReason (int, org.sat4j.minisat.core.Constr) 
	public org.sat4j.specs.IVec undos (int) 
	public void watch (int, org.sat4j.minisat.core.Propagatable) 
	public org.sat4j.specs.IVec watches (int) 
	public boolean isImplied (int) 
	public int realnVars () 
	protected int capacity () 
	public int nextFreeVarId (boolean) 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/minisat/constraints/cnf/MixableCBClause.class

package org.sat4j.minisat.constraints.cnf
public org.sat4j.minisat.constraints.cnf.MixableCBClause extends org.sat4j.minisat.constraints.cnf.CBClause {
	private static final long serialVersionUID
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
	public boolean propagate (org.sat4j.minisat.core.UnitPropagationListener, int) 
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits, boolean) 
	public static org.sat4j.minisat.constraints.cnf.CBClause brandNewClause (org.sat4j.minisat.core.UnitPropagationListener, org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt) 
}

org/sat4j/minisat/constraints/cnf/OriginalBinaryClause.class

package org.sat4j.minisat.constraints.cnf
public org.sat4j.minisat.constraints.cnf.OriginalBinaryClause extends org.sat4j.minisat.constraints.cnf.BinaryClause {
	private static final long serialVersionUID
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
	public void setLearnt () 
	public boolean learnt () 
	public static org.sat4j.minisat.constraints.cnf.OriginalBinaryClause brandNewClause (org.sat4j.minisat.core.UnitPropagationListener, org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt) 
	public void forwardActivity (double) 
	public void incActivity (double) 
}

org/sat4j/minisat/constraints/cnf/OriginalHTClause.class

package org.sat4j.minisat.constraints.cnf
public org.sat4j.minisat.constraints.cnf.OriginalHTClause extends org.sat4j.minisat.constraints.cnf.HTClause {
	private static final long serialVersionUID
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
	public void register () 
	public boolean learnt () 
	public void setLearnt () 
	public static org.sat4j.minisat.constraints.cnf.OriginalHTClause brandNewClause (org.sat4j.minisat.core.UnitPropagationListener, org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt) 
	public void forwardActivity (double) 
	public void incActivity (double) 
}

org/sat4j/minisat/constraints/cnf/OriginalWLClause.class

package org.sat4j.minisat.constraints.cnf
public final org.sat4j.minisat.constraints.cnf.OriginalWLClause extends org.sat4j.minisat.constraints.cnf.WLClause {
	private static final long serialVersionUID
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$minisat$constraints$cnf$OriginalWLClause
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
	public void register () 
	public boolean learnt () 
	public void setLearnt () 
	public static org.sat4j.minisat.constraints.cnf.OriginalWLClause brandNewClause (org.sat4j.minisat.core.UnitPropagationListener, org.sat4j.minisat.core.ILits, org.sat4j.specs.IVecInt) 
	public void forwardActivity (double) 
	public void incActivity (double) 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/minisat/constraints/cnf/UnitClause.class

package org.sat4j.minisat.constraints.cnf
public org.sat4j.minisat.constraints.cnf.UnitClause extends java.lang.Object implements org.sat4j.minisat.core.Constr  {
	protected final int literal
	public void  (int) 
	public void assertConstraint (org.sat4j.minisat.core.UnitPropagationListener) 
	public void calcReason (int, org.sat4j.specs.IVecInt) 
	public double getActivity () 
	public void incActivity (double) 
	public boolean locked () 
	public void register () 
	public void remove (org.sat4j.minisat.core.UnitPropagationListener) 
	public void rescaleBy (double) 
	public void setLearnt () 
	public boolean simplify () 
	public boolean propagate (org.sat4j.minisat.core.UnitPropagationListener, int) 
	public int get (int) 
	public boolean learnt () 
	public int size () 
	public void forwardActivity (double) 
}

org/sat4j/minisat/constraints/cnf/UnitClauses.class

package org.sat4j.minisat.constraints.cnf
public final org.sat4j.minisat.constraints.cnf.UnitClauses extends java.lang.Object implements org.sat4j.minisat.core.Constr  {
	protected final int[] literals
	public void  (org.sat4j.specs.IVecInt) 
	public void assertConstraint (org.sat4j.minisat.core.UnitPropagationListener) 
	public void calcReason (int, org.sat4j.specs.IVecInt) 
	public double getActivity () 
	public void incActivity (double) 
	public boolean locked () 
	public void register () 
	public void remove (org.sat4j.minisat.core.UnitPropagationListener) 
	public void rescaleBy (double) 
	public void setLearnt () 
	public boolean simplify () 
	public boolean propagate (org.sat4j.minisat.core.UnitPropagationListener, int) 
	public int get (int) 
	public boolean learnt () 
	public int size () 
	public void forwardActivity (double) 
}

org/sat4j/minisat/constraints/cnf/WLClause.class

package org.sat4j.minisat.constraints.cnf
public abstract org.sat4j.minisat.constraints.cnf.WLClause extends java.lang.Object implements org.sat4j.minisat.core.Constr java.io.Serializable  {
	private static final long serialVersionUID
	protected double activity
	protected final int[] lits
	protected final org.sat4j.minisat.core.ILits voc
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$minisat$constraints$cnf$WLClause
	public void  (org.sat4j.specs.IVecInt, org.sat4j.minisat.core.ILits) 
	public void calcReason (int, org.sat4j.specs.IVecInt) 
	public void remove (org.sat4j.minisat.core.UnitPropagationListener) 
	public boolean simplify () 
	public boolean propagate (org.sat4j.minisat.core.UnitPropagationListener, int) 
	public boolean locked () 
	public double getActivity () 
	public java.lang.String toString () 
	public int get (int) 
	public void rescaleBy (double) 
	public int size () 
	public void assertConstraint (org.sat4j.minisat.core.UnitPropagationListener) 
	public org.sat4j.minisat.core.ILits getVocabulary () 
	public int[] getLits () 
	public boolean equals (java.lang.Object) 
	public int hashCode () 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/minisat/core/ActivityComparator.class

package org.sat4j.minisat.core
 org.sat4j.minisat.core.ActivityComparator extends java.lang.Object implements java.util.Comparator java.io.Serializable  {
	private static final long serialVersionUID
	void  () 
	public int compare (org.sat4j.minisat.core.Constr, org.sat4j.minisat.core.Constr) 
	public int compare (java.lang.Object, java.lang.Object) 
}

org/sat4j/minisat/core/ActivityListener.class

package org.sat4j.minisat.core
abstract org.sat4j.minisat.core.ActivityListener extends java.lang.Object implements org.sat4j.minisat.core.VarActivityListener org.sat4j.minisat.core.ConstrActivityListener  {
}

org/sat4j/minisat/core/AssertingClauseGenerator.class

package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.AssertingClauseGenerator extends java.lang.Object {
	public abstract void initAnalyze () 
	public abstract void onCurrentDecisionLevelLiteral (int) 
	public abstract boolean clauseNonAssertive (org.sat4j.specs.IConstr) 
}

org/sat4j/minisat/core/ConflictTimer.class

package org.sat4j.minisat.core
abstract org.sat4j.minisat.core.ConflictTimer extends java.lang.Object {
	public abstract void reset () 
	public abstract void newConflict () 
}

org/sat4j/minisat/core/ConflictTimerAdapter.class

package org.sat4j.minisat.core
abstract org.sat4j.minisat.core.ConflictTimerAdapter extends java.lang.Object implements java.io.Serializable org.sat4j.minisat.core.ConflictTimer  {
	private static final long serialVersionUID
	private int counter
	private final int bound
	void  (int) 
	public void reset () 
	public void newConflict () 
	abstract void run () 
	public int bound () 
}

org/sat4j/minisat/core/ConflictTimerContainer.class

package org.sat4j.minisat.core
 org.sat4j.minisat.core.ConflictTimerContainer extends java.lang.Object implements java.io.Serializable org.sat4j.minisat.core.ConflictTimer  {
	private static final long serialVersionUID
	private final org.sat4j.specs.IVec timers
	void  () 
	org.sat4j.minisat.core.ConflictTimerContainer add (org.sat4j.minisat.core.ConflictTimer) 
	public void reset () 
	public void newConflict () 
}

org/sat4j/minisat/core/Constr.class

package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.Constr extends java.lang.Object implements org.sat4j.minisat.core.Propagatable org.sat4j.specs.IConstr  {
	public abstract void remove (org.sat4j.minisat.core.UnitPropagationListener) 
	public abstract boolean simplify () 
	public abstract void calcReason (int, org.sat4j.specs.IVecInt) 
	public abstract void incActivity (double) 
	public abstract void forwardActivity (double) 
	public abstract boolean locked () 
	public abstract void setLearnt () 
	public abstract void register () 
	public abstract void rescaleBy (double) 
	public abstract void assertConstraint (org.sat4j.minisat.core.UnitPropagationListener) 
}

org/sat4j/minisat/core/ConstrActivityListener.class

package org.sat4j.minisat.core
abstract org.sat4j.minisat.core.ConstrActivityListener extends java.lang.Object {
	public abstract void claBumpActivity (org.sat4j.minisat.core.Constr) 
}

org/sat4j/minisat/core/Counter.class

package org.sat4j.minisat.core
public org.sat4j.minisat.core.Counter extends java.lang.Object {
	private int value
	public void  () 
	public void inc () 
	public void dec () 
	public java.lang.String toString () 
}

org/sat4j/minisat/core/DataStructureFactory.class

package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.DataStructureFactory extends java.lang.Object {
	public abstract org.sat4j.minisat.core.Constr createClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public abstract org.sat4j.minisat.core.Constr createUnregisteredClause (org.sat4j.specs.IVecInt) 
	public abstract void learnConstraint (org.sat4j.minisat.core.Constr) 
	public abstract org.sat4j.minisat.core.Constr createCardinalityConstraint (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public abstract void setUnitPropagationListener (org.sat4j.minisat.core.UnitPropagationListener) 
	public abstract void setLearner (org.sat4j.minisat.core.Learner) 
	public abstract void reset () 
	public abstract org.sat4j.minisat.core.ILits getVocabulary () 
	public abstract org.sat4j.specs.IVec getWatchesFor (int) 
	public abstract void conflictDetectedInWatchesFor (int, int) 
}

org/sat4j/minisat/core/Heap.class

package org.sat4j.minisat.core
public final org.sat4j.minisat.core.Heap extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	private final org.sat4j.specs.IVecInt heap
	private final org.sat4j.specs.IVecInt indices
	private final double[] activity
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$minisat$core$Heap
	private static final int left (int) 
	private static final int right (int) 
	private static final int parent (int) 
	private final boolean comp (int, int) 
	final void percolateUp (int) 
	final void percolateDown (int) 
	boolean ok (int) 
	public void  (double[]) 
	public void setBounds (int) 
	public boolean inHeap (int) 
	public void increase (int) 
	public boolean empty () 
	public void insert (int) 
	public int getmin () 
	public boolean heapProperty () 
	public boolean heapProperty (int) 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/minisat/core/ILits.class

package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.ILits extends java.lang.Object {
	public static final int UNDEFINED
	public abstract void init (int) 
	public abstract int getFromPool (int) 
	public abstract boolean belongsToPool (int) 
	public abstract void resetPool () 
	public abstract void ensurePool (int) 
	public abstract void unassign (int) 
	public abstract void satisfies (int) 
	public abstract boolean isSatisfied (int) 
	public abstract boolean isFalsified (int) 
	public abstract boolean isUnassigned (int) 
	public abstract boolean isImplied (int) 
	public abstract int nVars () 
	public abstract int realnVars () 
	public abstract int nextFreeVarId (boolean) 
	public abstract int not (int) 
	public abstract void reset (int) 
	public abstract int getLevel (int) 
	public abstract void setLevel (int, int) 
	public abstract org.sat4j.minisat.core.Constr getReason (int) 
	public abstract void setReason (int, org.sat4j.minisat.core.Constr) 
	public abstract org.sat4j.specs.IVec undos (int) 
	public abstract void watch (int, org.sat4j.minisat.core.Propagatable) 
	public abstract org.sat4j.specs.IVec watches (int) 
	public abstract java.lang.String valueToString (int) 
}

org/sat4j/minisat/core/IOrder.class

package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.IOrder extends java.lang.Object {
	public abstract void setLits (org.sat4j.minisat.core.ILits) 
	public abstract int select () 
	public abstract void undo (int) 
	public abstract void updateVar (int) 
	public abstract void init () 
	public abstract void printStat (java.io.PrintWriter, java.lang.String) 
	public abstract void setVarDecay (double) 
	public abstract void varDecayActivity () 
	public abstract double varActivity (int) 
	public abstract void assignLiteral (int) 
	public abstract void setPhaseSelectionStrategy (org.sat4j.minisat.core.IPhaseSelectionStrategy) 
	public abstract org.sat4j.minisat.core.IPhaseSelectionStrategy getPhaseSelectionStrategy () 
}

org/sat4j/minisat/core/IPhaseSelectionStrategy.class

package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.IPhaseSelectionStrategy extends java.lang.Object implements java.io.Serializable  {
	public abstract void updateVar (int) 
	public abstract void init (int) 
	public abstract void init (int, int) 
	public abstract void assignLiteral (int) 
	public abstract int select (int) 
}

org/sat4j/minisat/core/IntQueue.class

package org.sat4j.minisat.core
public final org.sat4j.minisat.core.IntQueue extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	private static final int INITIAL_QUEUE_CAPACITY
	private int[] myarray
	private int size
	private int first
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$minisat$core$IntQueue
	public void  () 
	public void insert (int) 
	public int dequeue () 
	public void clear () 
	public int size () 
	public void ensure (int) 
	public java.lang.String toString () 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/minisat/core/Learner.class

package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.Learner extends java.lang.Object {
	public abstract void learn (org.sat4j.minisat.core.Constr) 
}

org/sat4j/minisat/core/LearningStrategy.class

package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.LearningStrategy extends java.lang.Object implements java.io.Serializable  {
	public abstract void init () 
	public abstract void learns (org.sat4j.minisat.core.Constr) 
	public abstract void setVarActivityListener (org.sat4j.minisat.core.VarActivityListener) 
	public abstract void setSolver (org.sat4j.minisat.core.Solver) 
}

org/sat4j/minisat/core/Pair.class

package org.sat4j.minisat.core
public final org.sat4j.minisat.core.Pair extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	public int backtrackLevel
	public org.sat4j.minisat.core.Constr reason
	public void  () 
}

org/sat4j/minisat/core/Propagatable.class

package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.Propagatable extends java.lang.Object {
	public abstract boolean propagate (org.sat4j.minisat.core.UnitPropagationListener, int) 
}

org/sat4j/minisat/core/RestartStrategy.class

package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.RestartStrategy extends java.lang.Object implements java.io.Serializable  {
	public abstract void init (org.sat4j.minisat.core.SearchParams) 
	public abstract long nextRestartNumberOfConflict () 
	public abstract void onRestart () 
}

org/sat4j/minisat/core/SearchParams.class

package org.sat4j.minisat.core
public org.sat4j.minisat.core.SearchParams extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	private double claDecay
	private double varDecay
	private double conflictBoundIncFactor
	private int initConflictBound
	static Class class$org$sat4j$minisat$core$SearchParams
	public void  () 
	public void  (int) 
	public void  (double, int) 
	public void  (double, double, double, int) 
	public double getClaDecay () 
	public double getVarDecay () 
	public java.lang.String toString () 
	public void setConflictBoundIncFactor (double) 
	public void setInitConflictBound (int) 
	public double getConflictBoundIncFactor () 
	public int getInitConflictBound () 
	public void setClaDecay (double) 
	public void setVarDecay (double) 
	static java.lang.Class class$ (java.lang.String) 
}

org/sat4j/minisat/core/Solver$1.class

package org.sat4j.minisat.core
final org.sat4j.minisat.core.Solver$1 extends java.lang.Object implements org.sat4j.minisat.core.Solver$ISimplifier  {
	private static final long serialVersionUID
	void  () 
	public void simplify (org.sat4j.specs.IVecInt) 
	public java.lang.String toString () 
}

org/sat4j/minisat/core/Solver$2.class

package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$2 extends java.lang.Object implements org.sat4j.minisat.core.Solver$ISimplifier  {
	private static final long serialVersionUID
	private final org.sat4j.minisat.core.Solver this$0
	void  (org.sat4j.minisat.core.Solver) 
	public void simplify (org.sat4j.specs.IVecInt) 
	public java.lang.String toString () 
}

org/sat4j/minisat/core/Solver$3.class

package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$3 extends java.lang.Object implements org.sat4j.minisat.core.Solver$ISimplifier  {
	private static final long serialVersionUID
	private final org.sat4j.minisat.core.Solver this$0
	void  (org.sat4j.minisat.core.Solver) 
	public void simplify (org.sat4j.specs.IVecInt) 
	public java.lang.String toString () 
}

org/sat4j/minisat/core/Solver$4$1.class

package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$4$1 extends org.sat4j.minisat.core.ConflictTimerAdapter {
	private static final long serialVersionUID
	private final org.sat4j.minisat.core.Solver$4 this$1
	void  (org.sat4j.minisat.core.Solver$4, int) 
	void run () 
}

org/sat4j/minisat/core/Solver$4.class

package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$4 extends java.lang.Object implements org.sat4j.minisat.core.Solver$LearnedConstraintsDeletionStrategy  {
	private static final long serialVersionUID
	final long memorybound
	private final org.sat4j.minisat.core.ConflictTimer freeMem
	private final org.sat4j.minisat.core.Solver this$0
	void  (org.sat4j.minisat.core.Solver) 
	public void reduce (org.sat4j.specs.IVec) 
	public org.sat4j.minisat.core.ConflictTimer getTimer () 
	public java.lang.String toString () 
	public void init () 
	public void onConflict (org.sat4j.minisat.core.Constr) 
	public void onConflictAnalysis (org.sat4j.minisat.core.Constr) 
	static org.sat4j.minisat.core.Solver access$200 (org.sat4j.minisat.core.Solver$4) 
}

org/sat4j/minisat/core/Solver$5$1.class

package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$5$1 extends org.sat4j.minisat.core.ConflictTimerAdapter {
	private static final long serialVersionUID
	private int nbconflict
	private static final int MAX_CLAUSE
	private static final int INC_CLAUSE
	private int nextbound
	private final org.sat4j.minisat.core.Solver$5 this$1
	void  (org.sat4j.minisat.core.Solver$5, int) 
	void run () 
}

org/sat4j/minisat/core/Solver$5.class

package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$5 extends java.lang.Object implements org.sat4j.minisat.core.Solver$LearnedConstraintsDeletionStrategy  {
	private static final long serialVersionUID
	private int[] flags
	private int flag
	private int wall
	private final org.sat4j.minisat.core.ConflictTimer clauseManagement
	private final org.sat4j.minisat.core.Solver this$0
	void  (org.sat4j.minisat.core.Solver) 
	public void reduce (org.sat4j.specs.IVec) 
	public org.sat4j.minisat.core.ConflictTimer getTimer () 
	public java.lang.String toString () 
	public void init () 
	public void onConflict (org.sat4j.minisat.core.Constr) 
	public void onConflictAnalysis (org.sat4j.minisat.core.Constr) 
	static int access$600 (org.sat4j.minisat.core.Solver$5) 
	static org.sat4j.minisat.core.Solver access$700 (org.sat4j.minisat.core.Solver$5) 
}

org/sat4j/minisat/core/Solver$6.class

package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$6 extends java.util.TimerTask {
	private final org.sat4j.minisat.core.Solver this$0
	void  (org.sat4j.minisat.core.Solver) 
	public void run () 
}

org/sat4j/minisat/core/Solver$7.class

package org.sat4j.minisat.core
 org.sat4j.minisat.core.Solver$7 extends org.sat4j.minisat.core.ConflictTimerAdapter {
	private static final long serialVersionUID
	private final org.sat4j.minisat.core.Solver this$0
	void  (org.sat4j.minisat.core.Solver, int) 
	public void run () 
}

org/sat4j/minisat/core/Solver$ISimplifier.class

package org.sat4j.minisat.core
abstract org.sat4j.minisat.core.Solver$ISimplifier extends java.lang.Object implements java.io.Serializable  {
	public abstract void simplify (org.sat4j.specs.IVecInt) 
}

org/sat4j/minisat/core/Solver$LearnedConstraintsDeletionStrategy.class

package org.sat4j.minisat.core
abstract org.sat4j.minisat.core.Solver$LearnedConstraintsDeletionStrategy extends java.lang.Object implements java.io.Serializable  {
	public abstract void init () 
	public abstract org.sat4j.minisat.core.ConflictTimer getTimer () 
	public abstract void reduce (org.sat4j.specs.IVec) 
	public abstract void onConflict (org.sat4j.minisat.core.Constr) 
	public abstract void onConflictAnalysis (org.sat4j.minisat.core.Constr) 
}

org/sat4j/minisat/core/Solver.class

package org.sat4j.minisat.core
public org.sat4j.minisat.core.Solver extends java.lang.Object implements org.sat4j.specs.ISolver org.sat4j.minisat.core.UnitPropagationListener org.sat4j.minisat.core.ActivityListener org.sat4j.minisat.core.Learner  {
	private static final long serialVersionUID
	private static final double CLAUSE_RESCALE_FACTOR
	private static final double CLAUSE_RESCALE_BOUND
	private final org.sat4j.specs.IVec constrs
	private final org.sat4j.specs.IVec learnts
	private double claInc
	private double claDecay
	private int qhead
	protected final org.sat4j.specs.IVecInt trail
	protected final org.sat4j.specs.IVecInt trailLim
	protected int rootLevel
	private int[] model
	protected org.sat4j.minisat.core.ILits voc
	private org.sat4j.minisat.core.IOrder order
	private final org.sat4j.minisat.core.ActivityComparator comparator
	private org.sat4j.minisat.core.SolverStats stats
	private org.sat4j.minisat.core.LearningStrategy learner
	protected final org.sat4j.minisat.core.AssertingClauseGenerator analyzer
	private volatile boolean undertimeout
	private long timeout
	private boolean timeBasedTimeout
	protected org.sat4j.minisat.core.DataStructureFactory dsfactory
	private org.sat4j.minisat.core.SearchParams params
	private final org.sat4j.specs.IVecInt __dimacs_out
	private org.sat4j.specs.SearchListener slistener
	private org.sat4j.minisat.core.RestartStrategy restarter
	private final java.util.Map constrTypes
	private boolean isDBSimplificationAllowed
	private final org.sat4j.specs.IVecInt learnedLiterals
	private boolean verbose
	private String prefix
	private boolean[] mseen
	private final org.sat4j.specs.IVecInt mpreason
	private final org.sat4j.specs.IVecInt moutLearnt
	public static final org.sat4j.minisat.core.Solver$ISimplifier NO_SIMPLIFICATION
	public final org.sat4j.minisat.core.Solver$ISimplifier SIMPLE_SIMPLIFICATION
	public final org.sat4j.minisat.core.Solver$ISimplifier EXPENSIVE_SIMPLIFICATION
	private org.sat4j.minisat.core.Solver$ISimplifier simplifier
	private final org.sat4j.specs.IVecInt analyzetoclear
	private final org.sat4j.specs.IVecInt analyzestack
	private final org.sat4j.minisat.core.Pair analysisResult
	private boolean[] fullmodel
	private org.sat4j.specs.IVecInt unsatExplanationInTermsOfAssumptions
	private double timebegin
	private boolean needToReduceDB
	private org.sat4j.minisat.core.ConflictTimer conflictCount
	private transient java.util.Timer timer
	public final org.sat4j.minisat.core.Solver$LearnedConstraintsDeletionStrategy memory_based
	public final org.sat4j.minisat.core.Solver$LearnedConstraintsDeletionStrategy glucose
	private org.sat4j.minisat.core.Solver$LearnedConstraintsDeletionStrategy learnedConstraintsDeletionStrategy
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$minisat$core$Solver
	protected org.sat4j.specs.IVecInt dimacs2internal (org.sat4j.specs.IVecInt) 
	public void  (org.sat4j.minisat.core.AssertingClauseGenerator, org.sat4j.minisat.core.LearningStrategy, org.sat4j.minisat.core.DataStructureFactory, org.sat4j.minisat.core.IOrder, org.sat4j.minisat.core.RestartStrategy) 
	public void  (org.sat4j.minisat.core.AssertingClauseGenerator, org.sat4j.minisat.core.LearningStrategy, org.sat4j.minisat.core.DataStructureFactory, org.sat4j.minisat.core.SearchParams, org.sat4j.minisat.core.IOrder, org.sat4j.minisat.core.RestartStrategy) 
	public final void setDataStructureFactory (org.sat4j.minisat.core.DataStructureFactory) 
	public boolean isVerbose () 
	public void setVerbose (boolean) 
	public void setSearchListener (org.sat4j.specs.SearchListener) 
	public org.sat4j.specs.SearchListener getSearchListener () 
	public void setLearner (org.sat4j.minisat.core.LearningStrategy) 
	public void setTimeout (int) 
	public void setTimeoutMs (long) 
	public void setTimeoutOnConflicts (int) 
	public void setSearchParams (org.sat4j.minisat.core.SearchParams) 
	public void setRestartStrategy (org.sat4j.minisat.core.RestartStrategy) 
	public void expireTimeout () 
	protected int nAssigns () 
	public int nConstraints () 
	public void learn (org.sat4j.minisat.core.Constr) 
	public final int decisionLevel () 
	public int newVar () 
	public int newVar (int) 
	public org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public boolean removeConstr (org.sat4j.specs.IConstr) 
	public boolean removeSubsumedConstr (org.sat4j.specs.IConstr) 
	public void addAllClauses (org.sat4j.specs.IVec)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public boolean simplifyDB () 
	public int[] model () 
	public boolean enqueue (int) 
	public boolean enqueue (int, org.sat4j.minisat.core.Constr) 
	public void analyze (org.sat4j.minisat.core.Constr, org.sat4j.minisat.core.Pair) 
	public org.sat4j.specs.IVecInt analyzeFinalConflictInTermsOfAssumptions (org.sat4j.minisat.core.Constr, org.sat4j.specs.IVecInt, int) 
	public void setSimplifier (java.lang.String) 
	public void setSimplifier (org.sat4j.minisat.core.Solver$ISimplifier) 
	private void simpleSimplification (org.sat4j.specs.IVecInt) 
	private void expensiveSimplification (org.sat4j.specs.IVecInt) 
	private boolean analyzeRemovable (int) 
	protected void undoOne () 
	public void claBumpActivity (org.sat4j.minisat.core.Constr) 
	public void varBumpActivity (int) 
	private void claRescalActivity () 
	public org.sat4j.minisat.core.Constr propagate () 
	void record (org.sat4j.minisat.core.Constr) 
	public boolean assume (int) 
	private void cancel () 
	private void cancelLearntLiterals (int) 
	protected void cancelUntil (int) 
	org.sat4j.specs.Lbool search (long, org.sat4j.specs.IVecInt) 
	protected void analyzeAtRootLevel (org.sat4j.minisat.core.Constr) 
	void modelFound () 
	public boolean model (int) 
	public void clearLearntClauses () 
	protected void reduceDB () 
	private void sortOnActivity () 
	protected void decayActivities () 
	private void claDecayActivity () 
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public void setLearnedConstraintsDeletionStrategy (org.sat4j.minisat.core.Solver$LearnedConstraintsDeletionStrategy) 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
	public void printInfos (java.io.PrintWriter, java.lang.String) 
	public void printLearntClausesInfos (java.io.PrintWriter, java.lang.String) 
	public org.sat4j.minisat.core.SolverStats getStats () 
	protected void initStats (org.sat4j.minisat.core.SolverStats) 
	public org.sat4j.minisat.core.IOrder getOrder () 
	public void setOrder (org.sat4j.minisat.core.IOrder) 
	public org.sat4j.minisat.core.ILits getVocabulary () 
	public void reset () 
	public int nVars () 
	protected org.sat4j.specs.IConstr addConstr (org.sat4j.minisat.core.Constr) 
	public org.sat4j.minisat.core.DataStructureFactory getDSFactory () 
	public org.sat4j.specs.IVecInt getOutLearnt () 
	public org.sat4j.specs.IConstr getIthConstr (int) 
	public void printStat (java.io.PrintStream, java.lang.String) 
	public void printStat (java.io.PrintWriter, java.lang.String) 
	public java.lang.String toString (java.lang.String) 
	public java.lang.String toString () 
	public int getTimeout () 
	public long getTimeoutMs () 
	public void setExpectedNumberOfClauses (int) 
	public java.util.Map getStat () 
	public int[] findModel ()  throws org.sat4j.specs.TimeoutException 
	public int[] findModel (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public boolean isDBSimplificationAllowed () 
	public void setDBSimplificationAllowed (boolean) 
	public int nextFreeVarId (boolean) 
	public org.sat4j.specs.IConstr addBlockingClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public void unset (int) 
	public void setLogPrefix (java.lang.String) 
	public java.lang.String getLogPrefix () 
	public org.sat4j.specs.IVecInt unsatExplanation () 
	static java.lang.Class class$ (java.lang.String) 
	static void access$000 (org.sat4j.minisat.core.Solver, org.sat4j.specs.IVecInt) 
	static void access$100 (org.sat4j.minisat.core.Solver, org.sat4j.specs.IVecInt) 
	static boolean access$302 (org.sat4j.minisat.core.Solver, boolean) 
	static org.sat4j.specs.IVec access$400 (org.sat4j.minisat.core.Solver) 
	static boolean access$500 (org.sat4j.minisat.core.Solver) 
	static org.sat4j.minisat.core.SolverStats access$800 (org.sat4j.minisat.core.Solver) 
	static org.sat4j.specs.IVec access$900 (org.sat4j.minisat.core.Solver) 
	static boolean access$1002 (org.sat4j.minisat.core.Solver, boolean) 
	static void  () 
}

org/sat4j/minisat/core/SolverStats.class

package org.sat4j.minisat.core
public org.sat4j.minisat.core.SolverStats extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	public int starts
	public long decisions
	public long propagations
	public long inspects
	public long conflicts
	public long learnedliterals
	public long learnedbinaryclauses
	public long learnedternaryclauses
	public long learnedclauses
	public long ignoredclauses
	public long rootSimplifications
	public long reducedliterals
	public long changedreason
	public int reduceddb
	public void  () 
	public void reset () 
	public void printStat (java.io.PrintWriter, java.lang.String) 
	public java.util.Map toMap () 
}

org/sat4j/minisat/core/Undoable.class

package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.Undoable extends java.lang.Object {
	public abstract void undo (int) 
}

org/sat4j/minisat/core/UnitPropagationListener.class

package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.UnitPropagationListener extends java.lang.Object {
	public abstract boolean enqueue (int) 
	public abstract boolean enqueue (int, org.sat4j.minisat.core.Constr) 
	public abstract void unset (int) 
}

org/sat4j/minisat/core/VarActivityListener.class

package org.sat4j.minisat.core
public abstract org.sat4j.minisat.core.VarActivityListener extends java.lang.Object implements java.io.Serializable  {
	public abstract void varBumpActivity (int) 
}

org/sat4j/minisat/core/VoidTracing.class

package org.sat4j.minisat.core
final org.sat4j.minisat.core.VoidTracing extends java.lang.Object implements org.sat4j.specs.SearchListener  {
	private static final long serialVersionUID
	void  () 
	public void assuming (int) 
	public void propagating (int, org.sat4j.specs.IConstr) 
	public void backtracking (int) 
	public void adding (int) 
	public void learn (org.sat4j.specs.IConstr) 
	public void delete (int[]) 
	public void conflictFound (org.sat4j.specs.IConstr, int, int) 
	public void conflictFound (int) 
	public void solutionFound () 
	public void beginLoop () 
	public void start () 
	public void end (org.sat4j.specs.Lbool) 
	public void restarting () 
	public void backjump (int) 
}

org/sat4j/minisat/learning/AbstractLearning.class

package org.sat4j.minisat.learning
abstract org.sat4j.minisat.learning.AbstractLearning extends java.lang.Object implements org.sat4j.minisat.core.LearningStrategy  {
	private static final long serialVersionUID
	private org.sat4j.minisat.core.VarActivityListener val
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$minisat$learning$AbstractLearning
	void  () 
	public void setVarActivityListener (org.sat4j.minisat.core.VarActivityListener) 
	public void setSolver (org.sat4j.minisat.core.Solver) 
	public final void claBumpActivity (org.sat4j.minisat.core.Constr) 
	public void init () 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/minisat/learning/ActiveLearning.class

package org.sat4j.minisat.learning
public final org.sat4j.minisat.learning.ActiveLearning extends org.sat4j.minisat.learning.LimitedLearning {
	private static final long serialVersionUID
	private double percent
	private org.sat4j.minisat.core.IOrder order
	private int maxpercent
	public void  () 
	public void  (double) 
	public void setOrder (org.sat4j.minisat.core.IOrder) 
	public void setSolver (org.sat4j.minisat.core.Solver) 
	public void setActivityPercent (double) 
	public double getActivityPercent () 
	protected boolean learningCondition (org.sat4j.minisat.core.Constr) 
	public java.lang.String toString () 
	public void setLimit (int) 
	public int getLimit () 
}

org/sat4j/minisat/learning/ClauseOnlyLearning.class

package org.sat4j.minisat.learning
public final org.sat4j.minisat.learning.ClauseOnlyLearning extends org.sat4j.minisat.learning.LimitedLearning {
	private static final long serialVersionUID
	public void  () 
	protected boolean learningCondition (org.sat4j.minisat.core.Constr) 
	public java.lang.String toString () 
}

org/sat4j/minisat/learning/FixedLengthLearning.class

package org.sat4j.minisat.learning
public final org.sat4j.minisat.learning.FixedLengthLearning extends org.sat4j.minisat.learning.LimitedLearning {
	private static final long serialVersionUID
	private int maxlength
	private int bound
	public void  () 
	public void  (int) 
	public void init () 
	public void setMaxLength (int) 
	public int getMaxLength () 
	public java.lang.String toString () 
	protected void setBound (int) 
	protected boolean learningCondition (org.sat4j.minisat.core.Constr) 
}

org/sat4j/minisat/learning/LimitedLearning.class

package org.sat4j.minisat.learning
public abstract org.sat4j.minisat.learning.LimitedLearning extends java.lang.Object implements org.sat4j.minisat.core.LearningStrategy  {
	private static final long serialVersionUID
	private final org.sat4j.minisat.learning.NoLearningButHeuristics none
	private final org.sat4j.minisat.learning.MiniSATLearning all
	protected org.sat4j.minisat.core.ILits lits
	private org.sat4j.minisat.core.SolverStats stats
	public void  () 
	public void setSolver (org.sat4j.minisat.core.Solver) 
	public void learns (org.sat4j.minisat.core.Constr) 
	protected abstract boolean learningCondition (org.sat4j.minisat.core.Constr) 
	public void init () 
	public void setVarActivityListener (org.sat4j.minisat.core.VarActivityListener) 
}

org/sat4j/minisat/learning/MiniSATLearning.class

package org.sat4j.minisat.learning
public final org.sat4j.minisat.learning.MiniSATLearning extends org.sat4j.minisat.learning.AbstractLearning {
	private static final long serialVersionUID
	private org.sat4j.minisat.core.DataStructureFactory dsf
	public void  () 
	public void setDataStructureFactory (org.sat4j.minisat.core.DataStructureFactory) 
	public void setSolver (org.sat4j.minisat.core.Solver) 
	public void learns (org.sat4j.minisat.core.Constr) 
	public java.lang.String toString () 
	public void init () 
	public void setVarActivityListener (org.sat4j.minisat.core.VarActivityListener) 
}

org/sat4j/minisat/learning/NoLearningButHeuristics.class

package org.sat4j.minisat.learning
public final org.sat4j.minisat.learning.NoLearningButHeuristics extends org.sat4j.minisat.learning.AbstractLearning {
	private static final long serialVersionUID
	public void  () 
	public void learns (org.sat4j.minisat.core.Constr) 
	public void init () 
	public void setSolver (org.sat4j.minisat.core.Solver) 
	public void setVarActivityListener (org.sat4j.minisat.core.VarActivityListener) 
}

org/sat4j/minisat/learning/NoLearningNoHeuristics.class

package org.sat4j.minisat.learning
public final org.sat4j.minisat.learning.NoLearningNoHeuristics extends org.sat4j.minisat.learning.AbstractLearning {
	private static final long serialVersionUID
	public void  () 
	public void learns (org.sat4j.minisat.core.Constr) 
	public void init () 
	public void setSolver (org.sat4j.minisat.core.Solver) 
	public void setVarActivityListener (org.sat4j.minisat.core.VarActivityListener) 
}

org/sat4j/minisat/learning/PercentLengthLearning.class

package org.sat4j.minisat.learning
public final org.sat4j.minisat.learning.PercentLengthLearning extends org.sat4j.minisat.learning.LimitedLearning {
	private static final long serialVersionUID
	private int maxpercent
	private int bound
	public void  () 
	public void  (int) 
	public void setLimit (int) 
	public int getLimit () 
	public void init () 
	public java.lang.String toString () 
	protected void setBound (int) 
	protected boolean learningCondition (org.sat4j.minisat.core.Constr) 
}

org/sat4j/minisat/orders/AbstractPhaserecordingSelectionStrategy.class

package org.sat4j.minisat.orders
abstract org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy extends java.lang.Object implements org.sat4j.minisat.core.IPhaseSelectionStrategy  {
	private static final long serialVersionUID
	protected int[] phase
	void  () 
	public void init (int) 
	public void init (int, int) 
	public int select (int) 
}

org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy.class

package org.sat4j.minisat.orders
public final org.sat4j.minisat.orders.NegativeLiteralSelectionStrategy extends java.lang.Object implements org.sat4j.minisat.core.IPhaseSelectionStrategy  {
	private static final long serialVersionUID
	public void  () 
	public void assignLiteral (int) 
	public void init (int) 
	public void init (int, int) 
	public int select (int) 
	public void updateVar (int) 
	public java.lang.String toString () 
}

org/sat4j/minisat/orders/PhaseCachingAutoEraseStrategy.class

package org.sat4j.minisat.orders
public final org.sat4j.minisat.orders.PhaseCachingAutoEraseStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy {
	private static final long serialVersionUID
	public void  () 
	public void assignLiteral (int) 
	public void updateVar (int) 
	public java.lang.String toString () 
	public int select (int) 
	public void init (int, int) 
	public void init (int) 
}

org/sat4j/minisat/orders/PhaseInLastLearnedClauseSelectionStrategy.class

package org.sat4j.minisat.orders
public final org.sat4j.minisat.orders.PhaseInLastLearnedClauseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy {
	private static final long serialVersionUID
	public void  () 
	public void updateVar (int) 
	public java.lang.String toString () 
	public void assignLiteral (int) 
	public int select (int) 
	public void init (int, int) 
	public void init (int) 
}

org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy.class

package org.sat4j.minisat.orders
public final org.sat4j.minisat.orders.PositiveLiteralSelectionStrategy extends java.lang.Object implements org.sat4j.minisat.core.IPhaseSelectionStrategy  {
	private static final long serialVersionUID
	public void  () 
	public void assignLiteral (int) 
	public void init (int) 
	public void init (int, int) 
	public int select (int) 
	public void updateVar (int) 
	public java.lang.String toString () 
}

org/sat4j/minisat/orders/PureOrder.class

package org.sat4j.minisat.orders
public final org.sat4j.minisat.orders.PureOrder extends org.sat4j.minisat.orders.VarOrderHeap {
	private static final long serialVersionUID
	private int period
	private int cpt
	public void  () 
	public void  (int) 
	public final void setPeriod (int) 
	public int getPeriod () 
	public int select () 
	public java.lang.String toString () 
}

org/sat4j/minisat/orders/RSATPhaseSelectionStrategy.class

package org.sat4j.minisat.orders
public final org.sat4j.minisat.orders.RSATPhaseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy {
	private static final long serialVersionUID
	public void  () 
	public void assignLiteral (int) 
	public java.lang.String toString () 
	public void updateVar (int) 
	public int select (int) 
	public void init (int, int) 
	public void init (int) 
}

org/sat4j/minisat/orders/RandomLiteralSelectionStrategy.class

package org.sat4j.minisat.orders
public final org.sat4j.minisat.orders.RandomLiteralSelectionStrategy extends java.lang.Object implements org.sat4j.minisat.core.IPhaseSelectionStrategy  {
	private static final long serialVersionUID
	public static final java.util.Random RAND
	public void  () 
	public void assignLiteral (int) 
	public void init (int) 
	public void init (int, int) 
	public int select (int) 
	public void updateVar (int) 
	public java.lang.String toString () 
	static void  () 
}

org/sat4j/minisat/orders/RandomWalkDecorator.class

package org.sat4j.minisat.orders
public final org.sat4j.minisat.orders.RandomWalkDecorator extends java.lang.Object implements org.sat4j.minisat.core.IOrder  {
	private final org.sat4j.minisat.core.IOrder decorated
	private final double p
	private final java.util.Random rand
	private org.sat4j.minisat.core.ILits voc
	private int nbRandomWalks
	public void  (org.sat4j.minisat.core.IOrder) 
	public void  (org.sat4j.minisat.core.IOrder, double) 
	public void assignLiteral (int) 
	public org.sat4j.minisat.core.IPhaseSelectionStrategy getPhaseSelectionStrategy () 
	public void init () 
	public void printStat (java.io.PrintWriter, java.lang.String) 
	public int select () 
	public void setLits (org.sat4j.minisat.core.ILits) 
	public void setPhaseSelectionStrategy (org.sat4j.minisat.core.IPhaseSelectionStrategy) 
	public void setVarDecay (double) 
	public void undo (int) 
	public void updateVar (int) 
	public double varActivity (int) 
	public void varDecayActivity () 
}

org/sat4j/minisat/orders/UserFixedPhaseSelectionStrategy.class

package org.sat4j.minisat.orders
public final org.sat4j.minisat.orders.UserFixedPhaseSelectionStrategy extends org.sat4j.minisat.orders.AbstractPhaserecordingSelectionStrategy {
	private static final long serialVersionUID
	public void  () 
	public void assignLiteral (int) 
	public void updateVar (int) 
	public java.lang.String toString () 
	public int select (int) 
	public void init (int, int) 
	public void init (int) 
}

org/sat4j/minisat/orders/ValuedLit.class

package org.sat4j.minisat.orders
final org.sat4j.minisat.orders.ValuedLit extends java.lang.Object implements java.lang.Comparable  {
	final int id
	final int count
	void  (int, int) 
	public int compareTo (org.sat4j.minisat.orders.ValuedLit) 
	public boolean equals (java.lang.Object) 
	public int hashCode () 
	public java.lang.String toString () 
	public int compareTo (java.lang.Object) 
}

org/sat4j/minisat/orders/VarOrderHeap.class

package org.sat4j.minisat.orders
public org.sat4j.minisat.orders.VarOrderHeap extends java.lang.Object implements org.sat4j.minisat.core.IOrder java.io.Serializable  {
	private static final long serialVersionUID
	private static final double VAR_RESCALE_FACTOR
	private static final double VAR_RESCALE_BOUND
	protected double[] activity
	private double varDecay
	private double varInc
	protected org.sat4j.minisat.core.ILits lits
	private long nullchoice
	protected org.sat4j.minisat.core.Heap heap
	protected org.sat4j.minisat.core.IPhaseSelectionStrategy phaseStrategy
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$minisat$orders$VarOrderHeap
	public void  () 
	public void  (org.sat4j.minisat.core.IPhaseSelectionStrategy) 
	public void setPhaseSelectionStrategy (org.sat4j.minisat.core.IPhaseSelectionStrategy) 
	public org.sat4j.minisat.core.IPhaseSelectionStrategy getPhaseSelectionStrategy () 
	public void setLits (org.sat4j.minisat.core.ILits) 
	public int select () 
	public void setVarDecay (double) 
	public void undo (int) 
	public void updateVar (int) 
	protected void updateActivity (int) 
	public void varDecayActivity () 
	private void varRescaleActivity () 
	public double varActivity (int) 
	public int numberOfInterestingVariables () 
	public void init () 
	public java.lang.String toString () 
	public org.sat4j.minisat.core.ILits getVocabulary () 
	public void printStat (java.io.PrintWriter, java.lang.String) 
	public void assignLiteral (int) 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/minisat/restarts/ArminRestarts.class

package org.sat4j.minisat.restarts
public final org.sat4j.minisat.restarts.ArminRestarts extends java.lang.Object implements org.sat4j.minisat.core.RestartStrategy  {
	private static final long serialVersionUID
	private double inner
	private double outer
	private long conflicts
	private org.sat4j.minisat.core.SearchParams params
	public void  () 
	public void init (org.sat4j.minisat.core.SearchParams) 
	public long nextRestartNumberOfConflict () 
	public void onRestart () 
	public java.lang.String toString () 
}

org/sat4j/minisat/restarts/LubyRestarts.class

package org.sat4j.minisat.restarts
public final org.sat4j.minisat.restarts.LubyRestarts extends java.lang.Object implements org.sat4j.minisat.core.RestartStrategy  {
	private static final int DEFAULT_LUBY_FACTOR
	private static final int PRECOMPUTED_VALUES_IN_POOL
	private static final long serialVersionUID
	private static int[] cachedValues
	private int factor
	private int count
	public static final int luby (int) 
	public void  () 
	public void  (int) 
	public final void setFactor (int) 
	public int getFactor () 
	public void init (org.sat4j.minisat.core.SearchParams) 
	public long nextRestartNumberOfConflict () 
	public void onRestart () 
	public java.lang.String toString () 
	static void  () 
}

org/sat4j/minisat/restarts/MiniSATRestarts.class

package org.sat4j.minisat.restarts
public final org.sat4j.minisat.restarts.MiniSATRestarts extends java.lang.Object implements org.sat4j.minisat.core.RestartStrategy  {
	private static final long serialVersionUID
	private double nofConflicts
	private org.sat4j.minisat.core.SearchParams params
	public void  () 
	public void init (org.sat4j.minisat.core.SearchParams) 
	public long nextRestartNumberOfConflict () 
	public void onRestart () 
	public java.lang.String toString () 
}

org/sat4j/minisat/restarts/NoRestarts.class

package org.sat4j.minisat.restarts
public final org.sat4j.minisat.restarts.NoRestarts extends java.lang.Object implements org.sat4j.minisat.core.RestartStrategy  {
	private static final long serialVersionUID
	public void  () 
	public void init (org.sat4j.minisat.core.SearchParams) 
	public long nextRestartNumberOfConflict () 
	public void onRestart () 
}

org/sat4j/minisat/uip/DecisionUIP.class

package org.sat4j.minisat.uip
public final org.sat4j.minisat.uip.DecisionUIP extends java.lang.Object implements org.sat4j.minisat.core.AssertingClauseGenerator java.io.Serializable  {
	private static final long serialVersionUID
	public void  () 
	public void initAnalyze () 
	public void onCurrentDecisionLevelLiteral (int) 
	public boolean clauseNonAssertive (org.sat4j.specs.IConstr) 
	public java.lang.String toString () 
}

org/sat4j/minisat/uip/FirstUIP.class

package org.sat4j.minisat.uip
public final org.sat4j.minisat.uip.FirstUIP extends java.lang.Object implements org.sat4j.minisat.core.AssertingClauseGenerator java.io.Serializable  {
	private static final long serialVersionUID
	private int counter
	public void  () 
	public void initAnalyze () 
	public void onCurrentDecisionLevelLiteral (int) 
	public boolean clauseNonAssertive (org.sat4j.specs.IConstr) 
	public java.lang.String toString () 
}

org/sat4j/opt/AbstractSelectorVariablesDecorator.class

package org.sat4j.opt
public abstract org.sat4j.opt.AbstractSelectorVariablesDecorator extends org.sat4j.tools.SolverDecorator implements org.sat4j.specs.IOptimizationProblem  {
	private static final long serialVersionUID
	protected int nborigvars
	private int nbexpectedclauses
	protected int nbnewvar
	protected int[] prevfullmodel
	protected int[] prevmodel
	protected boolean[] prevboolmodel
	public void  (org.sat4j.specs.ISolver) 
	public int newVar (int) 
	public void setExpectedNumberOfClauses (int) 
	public int getExpectedNumberOfClauses () 
	public void reset () 
	public boolean admitABetterSolution ()  throws org.sat4j.specs.TimeoutException 
	public boolean admitABetterSolution (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	abstract void calculateObjectiveValue () 
	public int[] model () 
	public boolean model (int) 
}

org/sat4j/opt/MaxSatDecorator.class

package org.sat4j.opt
public final org.sat4j.opt.MaxSatDecorator extends org.sat4j.opt.AbstractSelectorVariablesDecorator {
	private static final long serialVersionUID
	private final org.sat4j.specs.IVecInt lits
	private int counter
	private org.sat4j.specs.IConstr prevConstr
	public void  (org.sat4j.specs.ISolver) 
	public void setExpectedNumberOfClauses (int) 
	public org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public void reset () 
	public boolean hasNoObjectiveFunction () 
	public boolean nonOptimalMeansSatisfiable () 
	public java.lang.Number calculateObjective () 
	public void discardCurrentSolution ()  throws org.sat4j.specs.ContradictionException 
	public boolean admitABetterSolution (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public void discard ()  throws org.sat4j.specs.ContradictionException 
	public java.lang.Number getObjectiveValue () 
	void calculateObjectiveValue () 
	public void forceObjectiveValueTo (java.lang.Number)  throws org.sat4j.specs.ContradictionException 
}

org/sat4j/opt/MinOneDecorator.class

package org.sat4j.opt
public final org.sat4j.opt.MinOneDecorator extends org.sat4j.tools.SolverDecorator implements org.sat4j.specs.IOptimizationProblem  {
	private static final long serialVersionUID
	private int[] prevmodel
	private int counter
	private final org.sat4j.specs.IVecInt literals
	private org.sat4j.specs.IConstr previousConstr
	public void  (org.sat4j.specs.ISolver) 
	public boolean admitABetterSolution ()  throws org.sat4j.specs.TimeoutException 
	public boolean admitABetterSolution (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public boolean hasNoObjectiveFunction () 
	public boolean nonOptimalMeansSatisfiable () 
	public java.lang.Number calculateObjective () 
	private void calculateObjectiveValue () 
	public void discardCurrentSolution ()  throws org.sat4j.specs.ContradictionException 
	public int[] model () 
	public void reset () 
	public java.lang.Number getObjectiveValue () 
	public void discard ()  throws org.sat4j.specs.ContradictionException 
	public void forceObjectiveValueTo (java.lang.Number)  throws org.sat4j.specs.ContradictionException 
}

org/sat4j/reader/AAGReader.class

package org.sat4j.reader
public org.sat4j.reader.AAGReader extends org.sat4j.reader.Reader {
	private static final int FALSE
	private static final int TRUE
	private final org.sat4j.tools.GateTranslator solver
	private int maxvarid
	private int nbinputs
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$reader$AAGReader
	void  (org.sat4j.specs.ISolver) 
	public java.lang.String decode (int[]) 
	public void decode (int[], java.io.PrintWriter) 
	public org.sat4j.specs.IProblem parseInstance (java.io.InputStream)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException java.io.IOException 
	private void readAnd (int, int, org.sat4j.reader.EfficientScanner)  throws org.sat4j.specs.ContradictionException java.io.IOException org.sat4j.reader.ParseFormatException 
	private int toDimacs (int) 
	private int readOutput (int, org.sat4j.reader.EfficientScanner)  throws java.io.IOException org.sat4j.reader.ParseFormatException 
	private org.sat4j.specs.IVecInt readInput (int, org.sat4j.reader.EfficientScanner)  throws java.io.IOException org.sat4j.reader.ParseFormatException 
	public org.sat4j.specs.IProblem parseInstance (java.io.Reader)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException java.io.IOException 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/reader/AIGReader.class

package org.sat4j.reader
public org.sat4j.reader.AIGReader extends org.sat4j.reader.Reader {
	private static final int FALSE
	private static final int TRUE
	private final org.sat4j.tools.GateTranslator solver
	private int maxvarid
	private int nbinputs
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$reader$AIGReader
	void  (org.sat4j.specs.ISolver) 
	public java.lang.String decode (int[]) 
	public void decode (int[], java.io.PrintWriter) 
	int parseInt (java.io.InputStream, char)  throws java.io.IOException org.sat4j.reader.ParseFormatException 
	public org.sat4j.specs.IProblem parseInstance (java.io.InputStream)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException java.io.IOException 
	static int safeGet (java.io.InputStream)  throws java.io.IOException org.sat4j.reader.ParseFormatException 
	static int decode (java.io.InputStream)  throws java.io.IOException org.sat4j.reader.ParseFormatException 
	private void readAnd (int, int, java.io.InputStream, int)  throws org.sat4j.specs.ContradictionException java.io.IOException org.sat4j.reader.ParseFormatException 
	private int toDimacs (int) 
	public org.sat4j.specs.IProblem parseInstance (java.io.Reader)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException java.io.IOException 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/reader/DimacsReader.class

package org.sat4j.reader
public org.sat4j.reader.DimacsReader extends org.sat4j.reader.Reader implements java.io.Serializable  {
	private static final long serialVersionUID
	protected int expectedNbOfConstr
	protected final org.sat4j.specs.ISolver solver
	private boolean checkConstrNb
	protected final String formatString
	protected org.sat4j.reader.EfficientScanner scanner
	protected org.sat4j.specs.IVecInt literals
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$reader$DimacsReader
	public void  (org.sat4j.specs.ISolver) 
	public void  (org.sat4j.specs.ISolver, java.lang.String) 
	public void disableNumberOfConstraintCheck () 
	protected void skipComments ()  throws java.io.IOException 
	protected void readProblemLine ()  throws java.io.IOException org.sat4j.reader.ParseFormatException 
	protected void readConstrs ()  throws java.io.IOException org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException 
	protected void flushConstraint ()  throws org.sat4j.specs.ContradictionException 
	protected boolean handleLine ()  throws org.sat4j.specs.ContradictionException java.io.IOException org.sat4j.reader.ParseFormatException 
	public org.sat4j.specs.IProblem parseInstance (java.io.InputStream)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException java.io.IOException 
	public final org.sat4j.specs.IProblem parseInstance (java.io.Reader)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException java.io.IOException 
	private org.sat4j.specs.IProblem parseInstance ()  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException 
	public java.lang.String decode (int[]) 
	public void decode (int[], java.io.PrintWriter) 
	protected org.sat4j.specs.ISolver getSolver () 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/reader/EfficientScanner.class

package org.sat4j.reader
public org.sat4j.reader.EfficientScanner extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	private static final int TAILLE_BUF
	private final transient java.io.BufferedInputStream in
	private static final char EOF
	private final char commentChar
	public void  (java.io.InputStream, char) 
	public void  (java.io.InputStream) 
	public void close ()  throws java.io.IOException 
	public void skipComments ()  throws java.io.IOException 
	public int nextInt ()  throws java.io.IOException org.sat4j.reader.ParseFormatException 
	public java.math.BigInteger nextBigInteger ()  throws java.io.IOException org.sat4j.reader.ParseFormatException 
	public java.lang.String next ()  throws java.io.IOException org.sat4j.reader.ParseFormatException 
	public char skipSpaces ()  throws java.io.IOException 
	public java.lang.String nextLine ()  throws java.io.IOException 
	public void skipRestOfLine ()  throws java.io.IOException 
	public boolean eof ()  throws java.io.IOException 
	public char currentChar ()  throws java.io.IOException 
}

org/sat4j/reader/InstanceReader.class

package org.sat4j.reader
public org.sat4j.reader.InstanceReader extends org.sat4j.reader.Reader {
	private org.sat4j.reader.AAGReader aag
	private org.sat4j.reader.AIGReader aig
	private org.sat4j.reader.DimacsReader ezdimacs
	private org.sat4j.reader.LecteurDimacs dimacs
	private org.sat4j.reader.Reader reader
	private final org.sat4j.specs.ISolver solver
	public void  (org.sat4j.specs.ISolver) 
	private org.sat4j.reader.Reader getDefaultSATReader () 
	private org.sat4j.reader.Reader getEZSATReader () 
	private org.sat4j.reader.Reader getAIGReader () 
	private org.sat4j.reader.Reader getAAGReader () 
	public org.sat4j.specs.IProblem parseInstance (java.lang.String)  throws java.io.FileNotFoundException org.sat4j.reader.ParseFormatException java.io.IOException org.sat4j.specs.ContradictionException 
	public java.lang.String decode (int[]) 
	public void decode (int[], java.io.PrintWriter) 
	public org.sat4j.specs.IProblem parseInstance (java.io.Reader)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException java.io.IOException 
}

org/sat4j/reader/LecteurDimacs.class

package org.sat4j.reader
public org.sat4j.reader.LecteurDimacs extends org.sat4j.reader.Reader implements java.io.Serializable  {
	private static final long serialVersionUID
	private static final int TAILLE_BUF
	private final org.sat4j.specs.ISolver s
	private transient java.io.BufferedInputStream in
	private int nbVars
	private int nbClauses
	private static final char EOF
	public void  (org.sat4j.specs.ISolver) 
	public final org.sat4j.specs.IProblem parseInstance (java.io.InputStream)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException java.io.IOException 
	public org.sat4j.specs.IProblem parseInstance (java.io.Reader)  throws java.io.IOException org.sat4j.specs.ContradictionException 
	private char passerCommentaire ()  throws java.io.IOException 
	private char lectureNombreLiteraux ()  throws java.io.IOException 
	private void ajouterClauses (char)  throws java.io.IOException org.sat4j.specs.ContradictionException org.sat4j.reader.ParseFormatException 
	private char passerEspaces ()  throws java.io.IOException 
	private char nextLine ()  throws java.io.IOException 
	private char nextChiffre ()  throws java.io.IOException 
	public java.lang.String decode (int[]) 
	public void decode (int[], java.io.PrintWriter) 
}

org/sat4j/reader/ParseFormatException.class

package org.sat4j.reader
public org.sat4j.reader.ParseFormatException extends java.lang.Exception {
	private static final long serialVersionUID
	public void  () 
	public void  (java.lang.String) 
	public void  (java.lang.String, java.lang.Throwable) 
	public void  (java.lang.Throwable) 
}

org/sat4j/reader/Reader.class

package org.sat4j.reader
public abstract org.sat4j.reader.Reader extends java.lang.Object {
	private boolean verbose
	public void  () 
	public org.sat4j.specs.IProblem parseInstance (java.lang.String)  throws java.io.FileNotFoundException org.sat4j.reader.ParseFormatException java.io.IOException org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IProblem parseInstance (java.io.InputStream)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException java.io.IOException 
	public abstract org.sat4j.specs.IProblem parseInstance (java.io.Reader)  throws org.sat4j.reader.ParseFormatException org.sat4j.specs.ContradictionException java.io.IOException 
	public abstract java.lang.String decode (int[]) 
	public abstract void decode (int[], java.io.PrintWriter) 
	public boolean isVerbose () 
	public void setVerbosity (boolean) 
}

org/sat4j/specs/ContradictionException.class

package org.sat4j.specs
public org.sat4j.specs.ContradictionException extends java.lang.Exception {
	private static final long serialVersionUID
	public void  () 
	public void  (java.lang.String) 
	public void  (java.lang.Throwable) 
	public void  (java.lang.String, java.lang.Throwable) 
}

org/sat4j/specs/IConstr.class

package org.sat4j.specs
public abstract org.sat4j.specs.IConstr extends java.lang.Object {
	public abstract boolean learnt () 
	public abstract int size () 
	public abstract int get (int) 
	public abstract double getActivity () 
}

org/sat4j/specs/IOptimizationProblem.class

package org.sat4j.specs
public abstract org.sat4j.specs.IOptimizationProblem extends java.lang.Object implements org.sat4j.specs.IProblem  {
	public abstract boolean admitABetterSolution ()  throws org.sat4j.specs.TimeoutException 
	public abstract boolean admitABetterSolution (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public abstract boolean hasNoObjectiveFunction () 
	public abstract boolean nonOptimalMeansSatisfiable () 
	public abstract java.lang.Number calculateObjective () 
	public abstract java.lang.Number getObjectiveValue () 
	public abstract void forceObjectiveValueTo (java.lang.Number)  throws org.sat4j.specs.ContradictionException 
	public abstract void discard ()  throws org.sat4j.specs.ContradictionException 
	public abstract void discardCurrentSolution ()  throws org.sat4j.specs.ContradictionException 
}

org/sat4j/specs/IProblem.class

package org.sat4j.specs
public abstract org.sat4j.specs.IProblem extends java.lang.Object {
	public abstract int[] model () 
	public abstract boolean model (int) 
	public abstract boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public abstract boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
	public abstract boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
	public abstract boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public abstract int[] findModel ()  throws org.sat4j.specs.TimeoutException 
	public abstract int[] findModel (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public abstract int nConstraints () 
	public abstract int nVars () 
	public abstract void printInfos (java.io.PrintWriter, java.lang.String) 
}

org/sat4j/specs/ISolver.class

package org.sat4j.specs
public abstract org.sat4j.specs.ISolver extends java.lang.Object implements org.sat4j.specs.IProblem java.io.Serializable  {
	public abstract int newVar () 
	public abstract int newVar (int) 
	public abstract int nextFreeVarId (boolean) 
	public abstract void setExpectedNumberOfClauses (int) 
	public abstract org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public abstract org.sat4j.specs.IConstr addBlockingClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public abstract boolean removeConstr (org.sat4j.specs.IConstr) 
	public abstract boolean removeSubsumedConstr (org.sat4j.specs.IConstr) 
	public abstract void addAllClauses (org.sat4j.specs.IVec)  throws org.sat4j.specs.ContradictionException 
	public abstract org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public abstract org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public abstract void setTimeout (int) 
	public abstract void setTimeoutOnConflicts (int) 
	public abstract void setTimeoutMs (long) 
	public abstract int getTimeout () 
	public abstract long getTimeoutMs () 
	public abstract void expireTimeout () 
	public abstract void reset () 
	public abstract void printStat (java.io.PrintStream, java.lang.String) 
	public abstract void printStat (java.io.PrintWriter, java.lang.String) 
	public abstract java.util.Map getStat () 
	public abstract java.lang.String toString (java.lang.String) 
	public abstract void clearLearntClauses () 
	public abstract void setDBSimplificationAllowed (boolean) 
	public abstract boolean isDBSimplificationAllowed () 
	public abstract void setSearchListener (org.sat4j.specs.SearchListener) 
	public abstract org.sat4j.specs.SearchListener getSearchListener () 
	public abstract boolean isVerbose () 
	public abstract void setVerbose (boolean) 
	public abstract void setLogPrefix (java.lang.String) 
	public abstract java.lang.String getLogPrefix () 
	public abstract org.sat4j.specs.IVecInt unsatExplanation () 
}

org/sat4j/specs/IVec.class

package org.sat4j.specs
public abstract org.sat4j.specs.IVec extends java.lang.Object implements java.io.Serializable  {
	public abstract int size () 
	public abstract void shrink (int) 
	public abstract void shrinkTo (int) 
	public abstract void pop () 
	public abstract void growTo (int, java.lang.Object) 
	public abstract void ensure (int) 
	public abstract org.sat4j.specs.IVec push (java.lang.Object) 
	public abstract void unsafePush (java.lang.Object) 
	public abstract void insertFirst (java.lang.Object) 
	public abstract void insertFirstWithShifting (java.lang.Object) 
	public abstract void clear () 
	public abstract java.lang.Object last () 
	public abstract java.lang.Object get (int) 
	public abstract void set (int, java.lang.Object) 
	public abstract void remove (java.lang.Object) 
	public abstract java.lang.Object delete (int) 
	public abstract void copyTo (org.sat4j.specs.IVec) 
	public abstract void copyTo (java.lang.Object[]) 
	public abstract java.lang.Object[] toArray () 
	public abstract void moveTo (org.sat4j.specs.IVec) 
	public abstract void moveTo (int, int) 
	public abstract void sort (java.util.Comparator) 
	public abstract void sortUnique (java.util.Comparator) 
	public abstract boolean isEmpty () 
	public abstract java.util.Iterator iterator () 
	public abstract boolean contains (java.lang.Object) 
	public abstract int indexOf (java.lang.Object) 
}

org/sat4j/specs/IVecInt.class

package org.sat4j.specs
public abstract org.sat4j.specs.IVecInt extends java.lang.Object implements java.io.Serializable  {
	public abstract int size () 
	public abstract void shrink (int) 
	public abstract void shrinkTo (int) 
	public abstract org.sat4j.specs.IVecInt pop () 
	public abstract void growTo (int, int) 
	public abstract void ensure (int) 
	public abstract org.sat4j.specs.IVecInt push (int) 
	public abstract void unsafePush (int) 
	public abstract int unsafeGet (int) 
	public abstract void clear () 
	public abstract int last () 
	public abstract int get (int) 
	public abstract void set (int, int) 
	public abstract boolean contains (int) 
	public abstract int indexOf (int) 
	public abstract int containsAt (int) 
	public abstract int containsAt (int, int) 
	public abstract void copyTo (org.sat4j.specs.IVecInt) 
	public abstract void copyTo (int[]) 
	public abstract void moveTo (org.sat4j.specs.IVecInt) 
	public abstract void moveTo2 (org.sat4j.specs.IVecInt) 
	public abstract void moveTo (int[]) 
	public abstract void moveTo (int, int) 
	public abstract void insertFirst (int) 
	public abstract void remove (int) 
	public abstract int delete (int) 
	public abstract void sort () 
	public abstract void sortUnique () 
	public abstract boolean isEmpty () 
	public abstract org.sat4j.specs.IteratorInt iterator () 
	public abstract int[] toArray () 
}

org/sat4j/specs/IteratorInt.class

package org.sat4j.specs
public abstract org.sat4j.specs.IteratorInt extends java.lang.Object {
	public abstract boolean hasNext () 
	public abstract int next () 
}

org/sat4j/specs/Lbool.class

package org.sat4j.specs
public final org.sat4j.specs.Lbool extends java.lang.Object {
	public static final org.sat4j.specs.Lbool FALSE
	public static final org.sat4j.specs.Lbool TRUE
	public static final org.sat4j.specs.Lbool UNDEFINED
	private final String symbol
	private org.sat4j.specs.Lbool opposite
	private void  (java.lang.String) 
	public org.sat4j.specs.Lbool not () 
	public java.lang.String toString () 
	static void  () 
}

org/sat4j/specs/SearchListener.class

package org.sat4j.specs
public abstract org.sat4j.specs.SearchListener extends java.lang.Object implements java.io.Serializable  {
	public abstract void assuming (int) 
	public abstract void propagating (int, org.sat4j.specs.IConstr) 
	public abstract void backtracking (int) 
	public abstract void adding (int) 
	public abstract void learn (org.sat4j.specs.IConstr) 
	public abstract void delete (int[]) 
	public abstract void conflictFound (org.sat4j.specs.IConstr, int, int) 
	public abstract void conflictFound (int) 
	public abstract void solutionFound () 
	public abstract void beginLoop () 
	public abstract void start () 
	public abstract void end (org.sat4j.specs.Lbool) 
	public abstract void restarting () 
	public abstract void backjump (int) 
}

org/sat4j/specs/TimeoutException.class

package org.sat4j.specs
public org.sat4j.specs.TimeoutException extends java.lang.Exception {
	private static final long serialVersionUID
	public void  () 
	public void  (java.lang.String) 
	public void  (java.lang.String, java.lang.Throwable) 
	public void  (java.lang.Throwable) 
}

org/sat4j/tools/ConflictLevelTracing.class

package org.sat4j.tools
public org.sat4j.tools.ConflictLevelTracing extends java.lang.Object implements org.sat4j.specs.SearchListener  {
	private static final long serialVersionUID
	private final String filename
	private java.io.PrintStream out
	public void  (java.lang.String) 
	private void updateWriter () 
	public void adding (int) 
	public void assuming (int) 
	public void backtracking (int) 
	public void beginLoop () 
	public void conflictFound (org.sat4j.specs.IConstr, int, int) 
	public void conflictFound (int) 
	public void delete (int[]) 
	public void end (org.sat4j.specs.Lbool) 
	public void learn (org.sat4j.specs.IConstr) 
	public void propagating (int, org.sat4j.specs.IConstr) 
	public void solutionFound () 
	public void start () 
	public void restarting () 
	public void backjump (int) 
}

org/sat4j/tools/ConstrGroup.class

package org.sat4j.tools
public org.sat4j.tools.ConstrGroup extends java.lang.Object {
	private final org.sat4j.specs.IVec constrs
	public void  () 
	public void add (org.sat4j.specs.IConstr) 
	public void clear () 
	public void removeFrom (org.sat4j.specs.ISolver) 
}

org/sat4j/tools/DecisionLevelTracing.class

package org.sat4j.tools
public org.sat4j.tools.DecisionLevelTracing extends java.lang.Object implements org.sat4j.specs.SearchListener  {
	private static final long serialVersionUID
	private final String filename
	private java.io.PrintStream out
	public void  (java.lang.String) 
	private void updateWriter () 
	public void adding (int) 
	public void assuming (int) 
	public void backtracking (int) 
	public void beginLoop () 
	public void conflictFound (org.sat4j.specs.IConstr, int, int) 
	public void conflictFound (int) 
	public void delete (int[]) 
	public void end (org.sat4j.specs.Lbool) 
	public void learn (org.sat4j.specs.IConstr) 
	public void propagating (int, org.sat4j.specs.IConstr) 
	public void solutionFound () 
	public void start () 
	public void restarting () 
	public void backjump (int) 
}

org/sat4j/tools/DecisionTracing.class

package org.sat4j.tools
public org.sat4j.tools.DecisionTracing extends java.lang.Object implements org.sat4j.specs.SearchListener  {
	private static final long serialVersionUID
	private final String filename
	private java.io.PrintStream out
	public void  (java.lang.String) 
	private void updateWriter () 
	public void adding (int) 
	public void assuming (int) 
	public void backtracking (int) 
	public void beginLoop () 
	public void conflictFound (org.sat4j.specs.IConstr, int, int) 
	public void conflictFound (int) 
	public void delete (int[]) 
	public void end (org.sat4j.specs.Lbool) 
	public void learn (org.sat4j.specs.IConstr) 
	public void propagating (int, org.sat4j.specs.IConstr) 
	public void solutionFound () 
	public void start () 
	public void restarting () 
	public void backjump (int) 
}

org/sat4j/tools/DimacsArrayReader.class

package org.sat4j.tools
public org.sat4j.tools.DimacsArrayReader extends java.lang.Object implements java.io.Serializable  {
	private static final long serialVersionUID
	protected final org.sat4j.specs.ISolver solver
	public void  (org.sat4j.specs.ISolver) 
	protected boolean handleConstr (int, int, int[])  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.ISolver parseInstance (int[], int[], int[][], int)  throws org.sat4j.specs.ContradictionException 
	public java.lang.String decode (int[]) 
	protected org.sat4j.specs.ISolver getSolver () 
}

org/sat4j/tools/DimacsOutputSolver.class

package org.sat4j.tools
public org.sat4j.tools.DimacsOutputSolver extends java.lang.Object implements org.sat4j.specs.ISolver  {
	private static final long serialVersionUID
	private transient java.io.PrintWriter out
	private int nbvars
	private int nbclauses
	private boolean fixedNbClauses
	private boolean firstConstr
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$tools$DimacsOutputSolver
	public void  () 
	public void  (java.io.PrintWriter) 
	private void readObject (java.io.ObjectInputStream) 
	public int newVar () 
	public int newVar (int) 
	public void setExpectedNumberOfClauses (int) 
	public org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public boolean removeConstr (org.sat4j.specs.IConstr) 
	public void addAllClauses (org.sat4j.specs.IVec)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public void setTimeout (int) 
	public void setTimeoutMs (long) 
	public int getTimeout () 
	public long getTimeoutMs () 
	public void reset () 
	public void printStat (java.io.PrintStream, java.lang.String) 
	public void printStat (java.io.PrintWriter, java.lang.String) 
	public java.util.Map getStat () 
	public java.lang.String toString (java.lang.String) 
	public void clearLearntClauses () 
	public int[] model () 
	public boolean model (int) 
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public int[] findModel ()  throws org.sat4j.specs.TimeoutException 
	public int[] findModel (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public int nConstraints () 
	public int nVars () 
	public void expireTimeout () 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
	public void printInfos (java.io.PrintWriter, java.lang.String) 
	public void setTimeoutOnConflicts (int) 
	public boolean isDBSimplificationAllowed () 
	public void setDBSimplificationAllowed (boolean) 
	public void setSearchListener (org.sat4j.specs.SearchListener) 
	public int nextFreeVarId (boolean) 
	public boolean removeSubsumedConstr (org.sat4j.specs.IConstr) 
	public org.sat4j.specs.IConstr addBlockingClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.SearchListener getSearchListener () 
	public boolean isVerbose () 
	public void setVerbose (boolean) 
	public void setLogPrefix (java.lang.String) 
	public java.lang.String getLogPrefix () 
	public org.sat4j.specs.IVecInt unsatExplanation () 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/tools/DimacsStringSolver.class

package org.sat4j.tools
public org.sat4j.tools.DimacsStringSolver extends java.lang.Object implements org.sat4j.specs.ISolver  {
	private static final long serialVersionUID
	private StringBuffer out
	private int nbvars
	private int nbclauses
	private boolean fixedNbClauses
	private boolean firstConstr
	private int firstCharPos
	private final int initBuilderSize
	private int maxvarid
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$tools$DimacsStringSolver
	public void  () 
	public void  (int) 
	public java.lang.StringBuffer getOut () 
	public int newVar () 
	public int newVar (int) 
	protected void setNbVars (int) 
	public void setExpectedNumberOfClauses (int) 
	public org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public boolean removeConstr (org.sat4j.specs.IConstr) 
	public void addAllClauses (org.sat4j.specs.IVec)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public void setTimeout (int) 
	public void setTimeoutMs (long) 
	public int getTimeout () 
	public long getTimeoutMs () 
	public void reset () 
	public void printStat (java.io.PrintStream, java.lang.String) 
	public void printStat (java.io.PrintWriter, java.lang.String) 
	public java.util.Map getStat () 
	public java.lang.String toString (java.lang.String) 
	public void clearLearntClauses () 
	public int[] model () 
	public boolean model (int) 
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public int[] findModel ()  throws org.sat4j.specs.TimeoutException 
	public int[] findModel (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public int nConstraints () 
	public int nVars () 
	public java.lang.String toString () 
	public void expireTimeout () 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
	public void printInfos (java.io.PrintWriter, java.lang.String) 
	public void setTimeoutOnConflicts (int) 
	public boolean isDBSimplificationAllowed () 
	public void setDBSimplificationAllowed (boolean) 
	public void setSearchListener (org.sat4j.specs.SearchListener) 
	public int nextFreeVarId (boolean) 
	public boolean removeSubsumedConstr (org.sat4j.specs.IConstr) 
	public org.sat4j.specs.IConstr addBlockingClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.SearchListener getSearchListener () 
	public boolean isVerbose () 
	public void setVerbose (boolean) 
	public void setLogPrefix (java.lang.String) 
	public java.lang.String getLogPrefix () 
	public org.sat4j.specs.IVecInt unsatExplanation () 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/tools/DotSearchTracing.class

package org.sat4j.tools
public org.sat4j.tools.DotSearchTracing extends java.lang.Object implements org.sat4j.specs.SearchListener  {
	private static final long serialVersionUID
	private final org.sat4j.core.Vec pile
	private String currentNodeName
	private transient java.io.Writer out
	private boolean estOrange
	private final java.util.Map mapping
	public void  (java.lang.String, java.util.Map) 
	private java.lang.String node (int) 
	public final void assuming (int) 
	public final void propagating (int, org.sat4j.specs.IConstr) 
	public final void backtracking (int) 
	public final void adding (int) 
	public final void learn (org.sat4j.specs.IConstr) 
	public final void delete (int[]) 
	public final void conflictFound (org.sat4j.specs.IConstr, int, int) 
	public final void conflictFound (int) 
	public final void solutionFound () 
	public final void beginLoop () 
	public final void start () 
	public final void end (org.sat4j.specs.Lbool) 
	private final java.lang.String lineTab (java.lang.String) 
	private final void saveLine (java.lang.String) 
	private void readObject (java.io.ObjectInputStream)  throws java.io.IOException java.lang.ClassNotFoundException 
	public void restarting () 
	public void backjump (int) 
}

org/sat4j/tools/ExtendedDimacsArrayReader.class

package org.sat4j.tools
public org.sat4j.tools.ExtendedDimacsArrayReader extends org.sat4j.tools.DimacsArrayReader {
	public static final int FALSE
	public static final int TRUE
	public static final int NOT
	public static final int AND
	public static final int NAND
	public static final int OR
	public static final int NOR
	public static final int XOR
	public static final int XNOR
	public static final int IMPLIES
	public static final int IFF
	public static final int IFTHENELSE
	public static final int ATLEAST
	public static final int ATMOST
	public static final int COUNT
	private static final long serialVersionUID
	private final org.sat4j.tools.GateTranslator gater
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$tools$ExtendedDimacsArrayReader
	public void  (org.sat4j.specs.ISolver) 
	protected boolean handleConstr (int, int, int[])  throws org.sat4j.specs.ContradictionException 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/tools/GateTranslator.class

package org.sat4j.tools
public org.sat4j.tools.GateTranslator extends org.sat4j.tools.SolverDecorator {
	private static final long serialVersionUID
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$tools$GateTranslator
	public void  (org.sat4j.specs.ISolver) 
	public org.sat4j.specs.IConstr gateFalse (int)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IConstr gateTrue (int)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IConstr[] ite (int, int, int, int)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IConstr[] and (int, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IConstr[] and (int, int, int)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IConstr[] or (int, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	private org.sat4j.specs.IConstr processClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IConstr[] not (int, int)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IConstr[] xor (int, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IConstr[] iff (int, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public void xor (int, int, int)  throws org.sat4j.specs.ContradictionException 
	private void xor2Clause (int[], int, boolean, org.sat4j.specs.IVec)  throws org.sat4j.specs.ContradictionException 
	private void iff2Clause (int[], int, boolean, org.sat4j.specs.IVec)  throws org.sat4j.specs.ContradictionException 
	public void fullAdderSum (int, int, int, int)  throws org.sat4j.specs.ContradictionException 
	public void fullAdderCarry (int, int, int, int)  throws org.sat4j.specs.ContradictionException 
	public void additionalFullAdderConstraints (int, int, int, int, int)  throws org.sat4j.specs.ContradictionException 
	public void halfAdderSum (int, int, int)  throws org.sat4j.specs.ContradictionException 
	public void halfAdderCarry (int, int, int)  throws org.sat4j.specs.ContradictionException 
	public void optimisationFunction (org.sat4j.specs.IVecInt, org.sat4j.specs.IVec, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	private org.sat4j.specs.IVecInt createIfNull (org.sat4j.specs.IVec, int) 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/tools/LearnedClauseSizeTracing.class

package org.sat4j.tools
public org.sat4j.tools.LearnedClauseSizeTracing extends java.lang.Object implements org.sat4j.specs.SearchListener  {
	private static final long serialVersionUID
	private final String filename
	private java.io.PrintStream out
	public void  (java.lang.String) 
	private void updateWriter () 
	public void adding (int) 
	public void assuming (int) 
	public void backtracking (int) 
	public void beginLoop () 
	public void conflictFound (org.sat4j.specs.IConstr, int, int) 
	public void conflictFound (int) 
	public void delete (int[]) 
	public void end (org.sat4j.specs.Lbool) 
	public void learn (org.sat4j.specs.IConstr) 
	public void propagating (int, org.sat4j.specs.IConstr) 
	public void solutionFound () 
	public void start () 
	public void restarting () 
	public void backjump (int) 
}

org/sat4j/tools/Minimal4CardinalityModel.class

package org.sat4j.tools
public org.sat4j.tools.Minimal4CardinalityModel extends org.sat4j.tools.SolverDecorator {
	private static final long serialVersionUID
	public void  (org.sat4j.specs.ISolver) 
	public int[] model () 
}

org/sat4j/tools/Minimal4InclusionModel.class

package org.sat4j.tools
public org.sat4j.tools.Minimal4InclusionModel extends org.sat4j.tools.SolverDecorator {
	private static final long serialVersionUID
	public void  (org.sat4j.specs.ISolver) 
	public int[] model () 
}

org/sat4j/tools/ModelIterator.class

package org.sat4j.tools
public org.sat4j.tools.ModelIterator extends org.sat4j.tools.SolverDecorator {
	private static final long serialVersionUID
	private boolean trivialfalsity
	private final int bound
	private int nbModelFound
	public void  (org.sat4j.specs.ISolver) 
	public void  (org.sat4j.specs.ISolver, int) 
	public int[] model () 
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public void reset () 
}

org/sat4j/tools/OptToSatAdapter.class

package org.sat4j.tools
public org.sat4j.tools.OptToSatAdapter extends org.sat4j.tools.SolverDecorator {
	private static final long serialVersionUID
	org.sat4j.specs.IOptimizationProblem problem
	boolean modelComputed
	boolean optimalValueForced
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$tools$OptToSatAdapter
	public void  (org.sat4j.specs.IOptimizationProblem) 
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public void reset () 
	public boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public int[] model () 
	public boolean model (int) 
	public java.lang.String toString (java.lang.String) 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/tools/RemiUtils.class

package org.sat4j.tools
public final org.sat4j.tools.RemiUtils extends java.lang.Object {
	private void  () 
	public static org.sat4j.specs.IVecInt backbone (org.sat4j.specs.ISolver)  throws org.sat4j.specs.TimeoutException 
}

org/sat4j/tools/SingleSolutionDetector.class

package org.sat4j.tools
public org.sat4j.tools.SingleSolutionDetector extends org.sat4j.tools.SolverDecorator {
	private static final long serialVersionUID
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$tools$SingleSolutionDetector
	public void  (org.sat4j.specs.ISolver) 
	public boolean hasASingleSolution ()  throws org.sat4j.specs.TimeoutException 
	public boolean hasASingleSolution (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/tools/SolutionCounter.class

package org.sat4j.tools
public org.sat4j.tools.SolutionCounter extends org.sat4j.tools.SolverDecorator {
	private static final long serialVersionUID
	private int lowerBound
	public void  (org.sat4j.specs.ISolver) 
	public int lowerBound () 
	public long countSolutions ()  throws org.sat4j.specs.TimeoutException 
}

org/sat4j/tools/SolverDecorator.class

package org.sat4j.tools
public abstract org.sat4j.tools.SolverDecorator extends java.lang.Object implements org.sat4j.specs.ISolver  {
	private static final long serialVersionUID
	private org.sat4j.specs.ISolver solver
	public boolean isDBSimplificationAllowed () 
	public void setDBSimplificationAllowed (boolean) 
	public void setTimeoutOnConflicts (int) 
	public void printInfos (java.io.PrintWriter, java.lang.String) 
	public boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
	public void clearLearntClauses () 
	public int[] findModel ()  throws org.sat4j.specs.TimeoutException 
	public int[] findModel (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public boolean model (int) 
	public void setExpectedNumberOfClauses (int) 
	public int getTimeout () 
	public long getTimeoutMs () 
	public java.lang.String toString (java.lang.String) 
	public java.lang.String toString () 
	public void printStat (java.io.PrintStream, java.lang.String) 
	public void printStat (java.io.PrintWriter, java.lang.String) 
	public void  (org.sat4j.specs.ISolver) 
	public int newVar () 
	public int newVar (int) 
	public org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public void addAllClauses (org.sat4j.specs.IVec)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IConstr addBlockingClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public int[] model () 
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public void setTimeout (int) 
	public void setTimeoutMs (long) 
	public void expireTimeout () 
	public int nConstraints () 
	public int nVars () 
	public void reset () 
	public org.sat4j.specs.ISolver decorated () 
	public org.sat4j.specs.ISolver clearDecorated () 
	public boolean removeConstr (org.sat4j.specs.IConstr) 
	public java.util.Map getStat () 
	public void setSearchListener (org.sat4j.specs.SearchListener) 
	public int nextFreeVarId (boolean) 
	public boolean removeSubsumedConstr (org.sat4j.specs.IConstr) 
	public org.sat4j.specs.SearchListener getSearchListener () 
	public boolean isVerbose () 
	public void setVerbose (boolean) 
	public void setLogPrefix (java.lang.String) 
	public java.lang.String getLogPrefix () 
	public org.sat4j.specs.IVecInt unsatExplanation () 
}

org/sat4j/tools/TextOutputTracing.class

package org.sat4j.tools
public org.sat4j.tools.TextOutputTracing extends java.lang.Object implements org.sat4j.specs.SearchListener  {
	private static final long serialVersionUID
	private final java.util.Map mapping
	public void  (java.util.Map) 
	private java.lang.String node (int) 
	public void assuming (int) 
	public void propagating (int, org.sat4j.specs.IConstr) 
	public void backtracking (int) 
	public void adding (int) 
	public void learn (org.sat4j.specs.IConstr) 
	public void delete (int[]) 
	public void conflictFound (org.sat4j.specs.IConstr, int, int) 
	public void conflictFound (int) 
	public void solutionFound () 
	public void beginLoop () 
	public void start () 
	public void end (org.sat4j.specs.Lbool) 
	public void restarting () 
	public void backjump (int) 
}

org/sat4j/tools/xplain/Pair.class

package org.sat4j.tools.xplain
public org.sat4j.tools.xplain.Pair extends java.lang.Object implements java.lang.Comparable  {
	public final Integer key
	public final org.sat4j.specs.IConstr constr
	public void  (java.lang.Integer, org.sat4j.specs.IConstr) 
	public int compareTo (org.sat4j.tools.xplain.Pair) 
	public java.lang.String toString () 
	public int compareTo (java.lang.Object) 
}

org/sat4j/tools/xplain/QuickXplainStrategy.class

package org.sat4j.tools.xplain
public org.sat4j.tools.xplain.QuickXplainStrategy extends java.lang.Object implements org.sat4j.tools.xplain.XplainStrategy  {
	private boolean computationCanceled
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$tools$xplain$QuickXplainStrategy
	public void  () 
	public void cancelExplanationComputation () 
	public org.sat4j.specs.IVecInt explain (org.sat4j.specs.ISolver, java.util.Map, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	private void computeExplanation (org.sat4j.specs.ISolver, org.sat4j.specs.IVecInt, int, int, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/tools/xplain/ReplayXplainStrategy.class

package org.sat4j.tools.xplain
public org.sat4j.tools.xplain.ReplayXplainStrategy extends java.lang.Object implements org.sat4j.tools.xplain.XplainStrategy  {
	private boolean computationCanceled
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$tools$xplain$ReplayXplainStrategy
	public void  () 
	public void cancelExplanationComputation () 
	public org.sat4j.specs.IVecInt explain (org.sat4j.specs.ISolver, java.util.Map, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/tools/xplain/Xplain.class

package org.sat4j.tools.xplain
public org.sat4j.tools.xplain.Xplain extends org.sat4j.tools.SolverDecorator {
	protected java.util.Map constrs
	protected org.sat4j.specs.IVecInt assump
	private int lastCreatedVar
	private boolean pooledVarId
	private final org.sat4j.specs.IVecInt lastClause
	private static final org.sat4j.tools.xplain.XplainStrategy XPLAIN_STRATEGY
	private static final long serialVersionUID
	static final boolean $assertionsDisabled
	static Class class$org$sat4j$tools$xplain$Xplain
	public void  (org.sat4j.specs.ISolver) 
	public org.sat4j.specs.IConstr addClause (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.ContradictionException 
	protected int createNewVar (org.sat4j.specs.IVecInt) 
	protected void discardLastestVar () 
	public org.sat4j.specs.IConstr addAtLeast (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public org.sat4j.specs.IConstr addAtMost (org.sat4j.specs.IVecInt, int)  throws org.sat4j.specs.ContradictionException 
	public java.util.Collection explain ()  throws org.sat4j.specs.TimeoutException 
	public void cancelExplanation () 
	public java.util.Collection getConstraints () 
	public int[] findModel ()  throws org.sat4j.specs.TimeoutException 
	public int[] findModel (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable ()  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (boolean)  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public boolean isSatisfiable (org.sat4j.specs.IVecInt, boolean)  throws org.sat4j.specs.TimeoutException 
	public int[] model () 
	static java.lang.Class class$ (java.lang.String) 
	static void  () 
}

org/sat4j/tools/xplain/XplainStrategy.class

package org.sat4j.tools.xplain
public abstract org.sat4j.tools.xplain.XplainStrategy extends java.lang.Object {
	public abstract org.sat4j.specs.IVecInt explain (org.sat4j.specs.ISolver, java.util.Map, org.sat4j.specs.IVecInt)  throws org.sat4j.specs.TimeoutException 
	public abstract void cancelExplanationComputation () 
}

overview.html
plugin.properties
sat4j.version
target/META-INF/MANIFEST.MF