org.sat4j.pb.constraints.pb
Class UnitClausesPB
java.lang.Object
org.sat4j.minisat.constraints.cnf.UnitClauses
org.sat4j.pb.constraints.pb.UnitClausesPB
- All Implemented Interfaces:
- Constr, Propagatable, PBConstr, IConstr
public class UnitClausesPB
- extends UnitClauses
- implements PBConstr
Methods inherited from class org.sat4j.minisat.constraints.cnf.UnitClauses |
assertConstraint, calcReason, canBePropagatedMultipleTimes, forwardActivity, get, getActivity, incActivity, learnt, locked, propagate, register, remove, rescaleBy, setLearnt, simplify, size |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
UnitClausesPB
public UnitClausesPB(IVecInt values)
getCoef
public BigInteger getCoef(int literal)
- Specified by:
getCoef
in interface PBConstr
getDegree
public BigInteger getDegree()
- Specified by:
getDegree
in interface PBConstr
getVocabulary
public ILits getVocabulary()
- Specified by:
getVocabulary
in interface PBConstr
getLits
public int[] getLits()
- Specified by:
getLits
in interface PBConstr
getCoefs
public BigInteger[] getCoefs()
- Specified by:
getCoefs
in interface PBConstr
computeAnImpliedClause
public IVecInt computeAnImpliedClause()
- Specified by:
computeAnImpliedClause
in interface PBConstr
Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.