public interface PBConstr extends Constr
Modifier and Type | Method and Description |
---|---|
IVecInt |
computeAnImpliedClause() |
BigInteger |
getCoef(int literal) |
BigInteger[] |
getCoefs() |
BigInteger |
getDegree() |
int[] |
getLits() |
ILits |
getVocabulary() |
assertConstraint, assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, forwardActivity, incActivity, locked, register, remove, rescaleBy, setActivity, setLearnt, simplify
canBePropagatedMultipleTimes, get, getActivity, learnt, size
BigInteger getCoef(int literal)
BigInteger getDegree()
ILits getVocabulary()
int[] getLits()
BigInteger[] getCoefs()
IVecInt computeAnImpliedClause()
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.