Commit e86c801f authored by leberre's avatar leberre

Making that class Serializable.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1702 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 66e314e4
......@@ -30,6 +30,7 @@
package org.sat4j.minisat.orders;
import java.io.PrintWriter;
import java.io.Serializable;
import java.util.Random;
import org.sat4j.minisat.core.ILits;
......@@ -39,7 +40,12 @@ import org.sat4j.minisat.core.IPhaseSelectionStrategy;
/**
* @since 2.2
*/
public class RandomWalkDecorator implements IOrder {
public class RandomWalkDecorator implements IOrder, Serializable {
/**
*
*/
private static final long serialVersionUID = 1L;
private final VarOrderHeap decorated;
......
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