org.sat4j.pb.constraints.pb
Class MixableCBClausePB
java.lang.Object
org.sat4j.minisat.constraints.cnf.CBClause
org.sat4j.minisat.constraints.cnf.MixableCBClause
org.sat4j.pb.constraints.pb.MixableCBClausePB
- All Implemented Interfaces:
- java.io.Serializable, Constr, Propagatable, Undoable, PBConstr, IConstr
public class MixableCBClausePB
- extends MixableCBClause
- implements PBConstr
- See Also:
- Serialized Form
Methods inherited from class org.sat4j.minisat.constraints.cnf.CBClause |
calcReason, get, getActivity, incActivity, learnt, locked, register, remove, rescaleBy, setLearnt, simplify, size, toString, undo |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
MixableCBClausePB
public MixableCBClausePB(IVecInt ps,
ILits voc,
boolean learnt)
MixableCBClausePB
public MixableCBClausePB(IVecInt ps,
ILits voc)
brandNewClause
public static MixableCBClausePB brandNewClause(UnitPropagationListener s,
ILits voc,
IVecInt literals)
computeAnImpliedClause
public IVecInt computeAnImpliedClause()
- Specified by:
computeAnImpliedClause
in interface PBConstr
getCoef
public java.math.BigInteger getCoef(int literal)
- Specified by:
getCoef
in interface PBConstr
getCoefs
public java.math.BigInteger[] getCoefs()
- Specified by:
getCoefs
in interface PBConstr
getDegree
public java.math.BigInteger getDegree()
- Specified by:
getDegree
in interface PBConstr
getLits
public int[] getLits()
- Specified by:
getLits
in interface PBConstr
getVocabulary
public ILits getVocabulary()
- Specified by:
getVocabulary
in interface PBConstr
assertConstraint
public void assertConstraint(UnitPropagationListener s)
- Specified by:
assertConstraint
in interface Constr
- Overrides:
assertConstraint
in class CBClause
Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.