1 package org.sat4j.minisat.constraints;
2
3 import org.sat4j.minisat.constraints.cnf.MixableCBClause;
4 import org.sat4j.minisat.constraints.cnf.WLClause;
5 import org.sat4j.minisat.core.Constr;
6 import org.sat4j.specs.ContradictionException;
7 import org.sat4j.specs.IVecInt;
8
9 public class MixedDataStructureDanielCBWL extends MixedDataStructureDaniel {
10
11 private static final long serialVersionUID = 1L;
12
13 @Override
14 public Constr createClause(IVecInt literals) throws ContradictionException {
15 IVecInt v = WLClause.sanityCheck(literals, getVocabulary(), solver);
16 if (v == null)
17 return null;
18 return MixableCBClause.brandNewClause(solver, getVocabulary(), v);
19 }
20
21 }