Commit 8a5d1cbf authored by leberre's avatar leberre
Browse files

Moved ILogAble to spec package to avoid cycles between sat4j and sat4j.minisat.core.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1698 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent b1706c4d
......@@ -66,7 +66,6 @@ import javax.swing.border.CompoundBorder;
import javax.swing.border.EmptyBorder;
import javax.swing.border.TitledBorder;
import org.sat4j.ILogAble;
import org.sat4j.core.ASolverFactory;
import org.sat4j.maxsat.WeightedMaxSatDecorator;
import org.sat4j.maxsat.reader.MSInstanceReader;
......@@ -98,6 +97,7 @@ import org.sat4j.sat.visu.TraceComposite;
import org.sat4j.sat.visu.VisuPreferences;
import org.sat4j.specs.ContradictionException;
import org.sat4j.specs.IConstr;
import org.sat4j.specs.ILogAble;
import org.sat4j.specs.IOptimizationProblem;
import org.sat4j.specs.IProblem;
import org.sat4j.specs.ISolver;
......
......@@ -64,7 +64,6 @@ import org.apache.commons.cli.PosixParser;
import org.sat4j.AbstractLauncher;
import org.sat4j.ExitCode;
import org.sat4j.ILauncherMode;
import org.sat4j.ILogAble;
import org.sat4j.core.ASolverFactory;
import org.sat4j.core.VecInt;
import org.sat4j.minisat.core.ICDCL;
......@@ -76,6 +75,7 @@ import org.sat4j.reader.InstanceReader;
import org.sat4j.reader.ParseFormatException;
import org.sat4j.reader.Reader;
import org.sat4j.specs.ContradictionException;
import org.sat4j.specs.ILogAble;
import org.sat4j.specs.IOptimizationProblem;
import org.sat4j.specs.IProblem;
import org.sat4j.specs.ISolver;
......
......@@ -41,7 +41,7 @@ import org.apache.commons.cli.PosixParser;
import org.sat4j.AbstractLauncher;
import org.sat4j.ExitCode;
import org.sat4j.ILauncherMode;
import org.sat4j.ILogAble;
import org.sat4j.specs.ILogAble;
import org.sat4j.maxsat.WeightedMaxSatDecorator;
import org.sat4j.maxsat.reader.MSInstanceReader;
import org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator;
......
......@@ -53,7 +53,7 @@ import javax.swing.JOptionPane;
import javax.swing.JRadioButtonMenuItem;
import javax.swing.JScrollPane;
import org.sat4j.ILogAble;
import org.sat4j.specs.ILogAble;
import org.sat4j.sat.visu.VisuPreferencesFrame;
/**
......
......@@ -29,7 +29,7 @@
*******************************************************************************/
package org.sat4j.sat;
import org.sat4j.ILogAble;
import org.sat4j.specs.ILogAble;
import org.sat4j.minisat.core.Constr;
import org.sat4j.minisat.core.ICDCL;
import org.sat4j.minisat.core.IPhaseSelectionStrategy;
......
......@@ -17,7 +17,7 @@ import org.apache.commons.cli.Option;
import org.apache.commons.cli.Options;
import org.apache.commons.cli.ParseException;
import org.apache.commons.cli.PosixParser;
import org.sat4j.ILogAble;
import org.sat4j.specs.ILogAble;
import org.sat4j.core.ASolverFactory;
import org.sat4j.minisat.core.DataStructureFactory;
import org.sat4j.minisat.core.ICDCL;
......
......@@ -7,7 +7,7 @@ import java.io.IOException;
import java.io.InputStreamReader;
import java.io.PrintStream;
import org.sat4j.ILogAble;
import org.sat4j.specs.ILogAble;
public class GnuplotBasedSolverVisualisation implements SolverVisualisation {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment