org.sat4j.pb.constraints.pb

Class LearntBinaryClausePB

java.lang.Object

org.sat4j.minisat.constraints.cnf.BinaryClause

org.sat4j.minisat.constraints.cnf.LearntBinaryClause

org.sat4j.pb.constraints.pb.LearntBinaryClausePB

All Implemented Interfaces:

java.io.Serializable, Constr, Propagatable, PBConstr, IConstr

public final class LearntBinaryClausePB
extends LearntBinaryClause
implements PBConstr

See Also:

Serialized Form

Field Summary

Fields inherited from class org.sat4j.minisat.constraints.cnf.BinaryClause

activity, head, tail

Constructor Summary

Constructors

Constructor and Description
LearntBinaryClausePB(IVecInt ps, ILits voc)

Method Summary

Modifier and Type	Method and Description
IVecInt	computeAnImpliedClause()
java.math.BigInteger	getCoef(int literal)
java.math.BigInteger[]	getCoefs()
java.math.BigInteger	getDegree()

Methods inherited from class org.sat4j.minisat.constraints.cnf.LearntBinaryClause

forwardActivity, incActivity, learnt, setActivity, setLearnt

Methods inherited from class org.sat4j.minisat.constraints.cnf.BinaryClause

assertConstraint, assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, canBePropagatedMultipleTimes, equals, get, getActivity, getLits, getVocabulary, hashCode, locked, propagate, register, remove, rescaleBy, simplify, size, toConstraint, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.sat4j.pb.constraints.pb.PBConstr

getLits, getVocabulary

Methods inherited from interface org.sat4j.minisat.core.Constr

assertConstraint, assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, forwardActivity, incActivity, locked, register, remove, rescaleBy, setActivity, setLearnt, simplify

Methods inherited from interface org.sat4j.specs.IConstr

canBePropagatedMultipleTimes, get, getActivity, learnt, size

Constructor Detail

LearntBinaryClausePB

public LearntBinaryClausePB(IVecInt ps,
                            ILits voc)

Method Detail

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