Commit 8d4d9efe 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@1693 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent b059215e
......@@ -43,6 +43,7 @@ import org.sat4j.core.ASolverFactory;
import org.sat4j.reader.ParseFormatException;
import org.sat4j.reader.Reader;
import org.sat4j.specs.ContradictionException;
import org.sat4j.specs.ILogAble;
import org.sat4j.specs.IProblem;
import org.sat4j.specs.ISolver;
import org.sat4j.specs.TimeoutException;
......
......@@ -34,6 +34,7 @@ import java.io.PrintWriter;
import org.sat4j.core.Vec;
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;
......
......@@ -29,7 +29,7 @@
*******************************************************************************/
package org.sat4j.minisat.core;
import org.sat4j.ILogAble;
import org.sat4j.specs.ILogAble;
import org.sat4j.specs.ISolver;
/**
......
......@@ -42,13 +42,13 @@ import java.util.Map;
import java.util.Timer;
import java.util.TimerTask;
import org.sat4j.ILogAble;
import org.sat4j.core.ConstrGroup;
import org.sat4j.core.LiteralsUtils;
import org.sat4j.core.Vec;
import org.sat4j.core.VecInt;
import org.sat4j.specs.ContradictionException;
import org.sat4j.specs.IConstr;
import org.sat4j.specs.ILogAble;
import org.sat4j.specs.ISolver;
import org.sat4j.specs.ISolverService;
import org.sat4j.specs.IVec;
......
......@@ -27,7 +27,7 @@
* Contributors:
* CRIL - initial API and implementation
*******************************************************************************/
package org.sat4j;
package org.sat4j.specs;
/**
* Utility interface to catch objects with logging capability (able to log).
......
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