예제 #1
0
 /*
  * (non-Javadoc)
  *
  * @see org.sat4j.minisat.DataStructureFactory#createCardinalityConstraint(org.sat4j.datatype.VecInt,
  *      int)
  */
 @Override
 public Constr createCardinalityConstraint(IVecInt literals, int degree)
     throws ContradictionException {
   return AtLeast.atLeastNew(solver, getVocabulary(), literals, degree);
 }
예제 #2
0
 /*
  * (non-Javadoc)
  *
  * @see org.sat4j.minisat.DataStructureFactory#createClause(org.sat4j.datatype.VecInt)
  */
 public Constr createClause(IVecInt literals) throws ContradictionException {
   return AtLeast.atLeastNew(solver, getVocabulary(), literals, 1);
 }