Commit 4d60570b authored by Daniel Le Berre's avatar Daniel Le Berre

Make more objects serializable.

parent d8f1491c
Pipeline #3355 passed with stages
in 45 minutes and 18 seconds
...@@ -29,6 +29,8 @@ ...@@ -29,6 +29,8 @@
*******************************************************************************/ *******************************************************************************/
package org.sat4j.minisat.core; package org.sat4j.minisat.core;
import java.io.Serializable;
/** /**
* Conflict based timer. * Conflict based timer.
* *
...@@ -37,7 +39,7 @@ package org.sat4j.minisat.core; ...@@ -37,7 +39,7 @@ package org.sat4j.minisat.core;
* @author daniel * @author daniel
* *
*/ */
public interface ConflictTimer { public interface ConflictTimer extends Serializable {
void reset(); void reset();
......
...@@ -29,8 +29,6 @@ ...@@ -29,8 +29,6 @@
*******************************************************************************/ *******************************************************************************/
package org.sat4j.minisat.core; package org.sat4j.minisat.core;
import java.io.Serializable;
import org.sat4j.core.Vec; import org.sat4j.core.Vec;
import org.sat4j.specs.IVec; import org.sat4j.specs.IVec;
...@@ -40,11 +38,11 @@ import org.sat4j.specs.IVec; ...@@ -40,11 +38,11 @@ import org.sat4j.specs.IVec;
* @author daniel * @author daniel
* *
*/ */
public class ConflictTimerContainer implements Serializable, ConflictTimer { public class ConflictTimerContainer implements ConflictTimer {
/** /**
* *
*/ */
private static final long serialVersionUID = 1L; private static final long serialVersionUID = 1L;
private final IVec<ConflictTimer> timers = new Vec<ConflictTimer>(); private final IVec<ConflictTimer> timers = new Vec<ConflictTimer>();
......
...@@ -30,6 +30,7 @@ ...@@ -30,6 +30,7 @@
package org.sat4j.minisat.core; package org.sat4j.minisat.core;
import java.io.PrintWriter; import java.io.PrintWriter;
import java.io.Serializable;
/** /**
* Interface for the variable ordering heuristics. It has both the * Interface for the variable ordering heuristics. It has both the
...@@ -39,7 +40,7 @@ import java.io.PrintWriter; ...@@ -39,7 +40,7 @@ import java.io.PrintWriter;
* @author daniel * @author daniel
* *
*/ */
public interface IOrder { public interface IOrder extends Serializable {
/** /**
* Method used to provide an easy access the the solver vocabulary. * Method used to provide an easy access the the solver vocabulary.
......
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