public class UnitClausesPB extends UnitClauses implements PBConstr
literals
Constructor and Description |
---|
UnitClausesPB(IVecInt values) |
Modifier and Type | Method and Description |
---|---|
IVecInt |
computeAnImpliedClause() |
BigInteger |
getCoef(int literal) |
BigInteger[] |
getCoefs() |
BigInteger |
getDegree() |
int[] |
getLits() |
ILits |
getVocabulary() |
assertConstraint, assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, canBePropagatedMultipleTimes, forwardActivity, get, getActivity, incActivity, learnt, locked, propagate, register, remove, rescaleBy, setActivity, setLearnt, simplify, size
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
assertConstraint, assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, forwardActivity, incActivity, locked, register, remove, rescaleBy, setActivity, setLearnt, simplify
canBePropagatedMultipleTimes, get, getActivity, learnt, size
public UnitClausesPB(IVecInt values)
public BigInteger getCoef(int literal)
public BigInteger getDegree()
public ILits getVocabulary()
getVocabulary
in interface PBConstr
public BigInteger[] getCoefs()
public IVecInt computeAnImpliedClause()
computeAnImpliedClause
in interface PBConstr
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.