Commit a6c060e8 authored by leberre's avatar leberre
Browse files

Making that class serializable.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1703 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent e86c801f
...@@ -33,17 +33,22 @@ import org.sat4j.minisat.orders.RandomWalkDecorator; ...@@ -33,17 +33,22 @@ import org.sat4j.minisat.orders.RandomWalkDecorator;
import org.sat4j.pb.ObjectiveFunction; import org.sat4j.pb.ObjectiveFunction;
public class RandomWalkDecoratorObjective extends RandomWalkDecorator implements public class RandomWalkDecoratorObjective extends RandomWalkDecorator implements
IOrderObjective { IOrderObjective {
private final IOrderObjective objorder; /**
*
*/
private static final long serialVersionUID = 1L;
public RandomWalkDecoratorObjective(VarOrderHeapObjective order, double p) { private final IOrderObjective objorder;
super(order, p);
this.objorder = order;
}
public void setObjectiveFunction(ObjectiveFunction obj) { public RandomWalkDecoratorObjective(VarOrderHeapObjective order, double p) {
this.objorder.setObjectiveFunction(obj); super(order, p);
} this.objorder = order;
}
public void setObjectiveFunction(ObjectiveFunction obj) {
this.objorder.setObjectiveFunction(obj);
}
} }
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