本文整理汇总了Java中org.sat4j.specs.IVecInt.sortUnique方法的典型用法代码示例。如果您正苦于以下问题：Java IVecInt.sortUnique方法的具体用法？Java IVecInt.sortUnique怎么用？Java IVecInt.sortUnique使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类org.sat4j.specs.IVecInt的用法示例。
在下文中一共展示了IVecInt.sortUnique方法的2个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: niceParameters
import org.sat4j.specs.IVecInt; //导入方法依赖的package包/类
protected static int niceParameters(UnitPropagationListener s, ILits voc,
IVecInt ps, int deg) throws ContradictionException {
if (ps.size() < deg)
throw new ContradictionException();
int degree = deg;
for (int i = 0; i < ps.size();) {
// on verifie si le litteral est affecte
if (voc.isUnassigned(ps.get(i))) {
// go to next literal
i++;
} else {
// Si le litteral est satisfait,
// ?a revient ? baisser le degr?
if (voc.isSatisfied(ps.get(i))) {
degree--;
}
// dans tous les cas, s'il est assign?,
// on enleve le ieme litteral
ps.delete(i);
}
}
// on trie le vecteur ps
ps.sortUnique();
// ?limine les clauses tautologiques
// deux litt?raux de signe oppos?s apparaissent dans la m?me
// clause
if (ps.size() == degree) {
for (int i = 0; i < ps.size(); i++) {
if (!s.enqueue(ps.get(i))) {
throw new ContradictionException();
}
}
return 0;
}
if (ps.size() < degree)
throw new ContradictionException();
return degree;
}
示例2: sanityCheck
import org.sat4j.specs.IVecInt; //导入方法依赖的package包/类
/**
* Perform some sanity check before constructing a clause a) if a literal is
* assigned true, return null (the clause is satisfied) b) if a literal is
* assigned false, remove it c) if a clause contains a literal and its
* opposite (tautology) return null d) remove duplicate literals e) if the
* clause is empty, return null f) if the clause if unit, transmit it to the
* object responsible for unit propagation
*
* @param ps
* the list of literals
* @param voc
* the vocabulary used
* @param s
* the object responsible for unit propagation
* @return null if the clause should be ignored, the (possibly modified)
* list of literals otherwise
* @throws ContradictionException
* if discovered by unit propagation
*/
public static IVecInt sanityCheck(IVecInt ps, ILits voc,
UnitPropagationListener s) throws ContradictionException {
// si un litt???ral de ps est vrai, retourner vrai
// enlever les litt???raux falsifi???s de ps
for (int i = 0; i < ps.size();) {
// on verifie si le litteral est affecte
if (voc.isUnassigned(ps.get(i))) {
// on passe au literal suivant
i++;
} else {
// Si le litteral est satisfait, la clause est
// satisfaite
if (voc.isSatisfied(ps.get(i))) {
// on retourne la clause
return null;
}
// on enleve le ieme litteral
ps.delete(i);
}
}
// on trie le vecteur ps
ps.sortUnique();
// ???limine les clauses tautologiques
// deux litt???raux de signe oppos???s apparaissent dans la m???me
// clause
for (int i = 0; i < ps.size() - 1; i++) {
if (ps.get(i) == (ps.get(i + 1) ^ 1)) {
// la clause est tautologique
return null;
}
}
if (propagationCheck(ps, s))
return null;
return ps;
}