Commit c2eb9d91 authored by Daniel Le Berre's avatar Daniel Le Berre

Make more objects serializable.

parent a2817fcc
Pipeline #3353 passed with stages
in 44 minutes and 42 seconds
package org.sat4j.pb.constraints.pb;
import java.io.Serializable;
import org.sat4j.pb.core.PBSolverStats;
public interface IConflictFactory {
public interface IConflictFactory extends Serializable {
IConflict createConflict(PBConstr cpb, int level, boolean noRemove,
boolean skip, IPostProcess postprocess,
......
......@@ -29,6 +29,7 @@
*******************************************************************************/
package org.sat4j.pb.constraints.pb;
import java.io.Serializable;
import java.math.BigInteger;
import org.sat4j.minisat.core.ILits;
......@@ -36,10 +37,15 @@ import org.sat4j.minisat.core.VarActivityListener;
import org.sat4j.specs.IVec;
import org.sat4j.specs.IVecInt;
public interface IDataStructurePB {
public interface IDataStructurePB extends Serializable {
IDataStructurePB TAUTOLOGY = new IDataStructurePB() {
/**
*
*/
private static final long serialVersionUID = 1L;
@Override
public int size() {
return 0;
......
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