org.sat4j.pb.constraints.pb
Class LearntHTClausePB
java.lang.Object
org.sat4j.minisat.constraints.cnf.HTClause
org.sat4j.minisat.constraints.cnf.LearntHTClause
org.sat4j.pb.constraints.pb.LearntHTClausePB
- All Implemented Interfaces:
- Serializable, Constr, Propagatable, PBConstr, IConstr
public final class LearntHTClausePB
- extends LearntHTClause
- implements PBConstr
- See Also:
- Serialized Form
Methods inherited from class org.sat4j.minisat.constraints.cnf.HTClause |
calcReason, canBePropagatedMultipleTimes, equals, get, getActivity, getLits, getVocabulary, hashCode, locked, propagate, remove, rescaleBy, simplify, size, toString |
LearntHTClausePB
public LearntHTClausePB(IVecInt ps,
ILits voc)
assertConstraint
public void assertConstraint(UnitPropagationListener s)
- Specified by:
assertConstraint
in interface Constr
- Overrides:
assertConstraint
in class HTClause
computeAnImpliedClause
public IVecInt computeAnImpliedClause()
- Specified by:
computeAnImpliedClause
in interface PBConstr
getCoef
public BigInteger getCoef(int literal)
- Specified by:
getCoef
in interface PBConstr
getCoefs
public BigInteger[] getCoefs()
- Specified by:
getCoefs
in interface PBConstr
getDegree
public BigInteger getDegree()
- Specified by:
getDegree
in interface PBConstr
Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.