Commit 67b7d79a authored by Daniel Le Berre's avatar Daniel Le Berre

Make more objects serializable.

parent 09444368
......@@ -29,6 +29,7 @@
*******************************************************************************/
package org.sat4j.tools;
import java.io.Serializable;
import java.util.ArrayList;
import java.util.List;
import java.util.logging.Level;
......@@ -48,7 +49,12 @@ import org.sat4j.specs.TimeoutException;
* @author sroussel
* @since 2.3.3
*/
public class AllMUSes {
public class AllMUSes implements Serializable {
/**
*
*/
private static final long serialVersionUID = 1L;
private final AbstractClauseSelectorSolver<? extends ISolver> css;
private final List<IVecInt> mssList;
......
......@@ -29,9 +29,11 @@
*******************************************************************************/
package org.sat4j.tools.xplain;
import java.io.Serializable;
import org.sat4j.specs.TimeoutException;
public interface Explainer {
public interface Explainer extends Serializable {
int[] minimalExplanation() throws TimeoutException;
......
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