Commit 3112b5f6 authored by Daniel Le Berre's avatar Daniel Le Berre

Make more objects serializable.

parent f6a18ab5
Pipeline #3350 canceled with stages
......@@ -29,6 +29,8 @@
*******************************************************************************/
package org.sat4j.minisat.core;
import java.io.Serializable;
import org.sat4j.specs.Constr;
import org.sat4j.specs.ContradictionException;
import org.sat4j.specs.IVec;
......@@ -42,7 +44,7 @@ import org.sat4j.specs.UnitPropagationListener;
*
* @author leberre
*/
public interface DataStructureFactory {
public interface DataStructureFactory extends Serializable {
/**
* @param literals
......
......@@ -29,6 +29,8 @@
*******************************************************************************/
package org.sat4j.tools;
import java.io.Serializable;
import org.sat4j.specs.IVecInt;
/**
......@@ -40,10 +42,15 @@ import org.sat4j.specs.IVecInt;
* @since 2.3.3
*
*/
public interface SolutionFoundListener {
public interface SolutionFoundListener extends Serializable {
SolutionFoundListener VOID = new SolutionFoundListener() {
/**
*
*/
private static final long serialVersionUID = 1L;
public void onSolutionFound(int[] model) {
// do nothing
}
......
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