View Javadoc

1   package org.sat4j.minisat.constraints.pb;
2   
3   import org.sat4j.minisat.core.AssertingClauseGenerator;
4   import org.sat4j.minisat.core.Constr;
5   import org.sat4j.minisat.core.DataStructureFactory;
6   import org.sat4j.minisat.core.ILits;
7   import org.sat4j.minisat.core.IOrder;
8   import org.sat4j.minisat.core.LearningStrategy;
9   
10  public class PBSolverMerging extends PBSolver<ILits> {
11  
12  	/**
13  	 * 
14  	 */
15  	private static final long serialVersionUID = 1L;
16  
17  	public PBSolverMerging(AssertingClauseGenerator acg,
18  			LearningStrategy<ILits> learner, DataStructureFactory<ILits> dsf, IOrder<ILits> order) {
19  		super(acg, learner, dsf, order);
20  		// TODO Auto-generated constructor stub
21  	}
22  
23  	
24  
25      @Override
26      IConflict chooseConflict(Constr myconfl, int level) {
27          return ConflictMapMerging.createConflict((PBConstr) myconfl, level);
28      }
29  
30      @Override
31      public String toString(String prefix) {
32          return super.toString(prefix) + "\n" + prefix
33                  + "uses fusion rule for conflict analysis";
34      }
35  
36  
37  }