/*
* (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);
}
/*
* (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);
}