org.sat4j.pb.constraints.pb
Interface PBConstr

All Superinterfaces:

org.sat4j.minisat.core.Constr, org.sat4j.specs.IConstr, org.sat4j.minisat.core.Propagatable

All Known Implementing Classes:

AtLeastPB, HTClausePB, MaxWatchPb, MinWatchCardPB, MinWatchPb, MixableCBClausePB, PuebloMinWatchPb, WatchPb

public interface PBConstr
extends org.sat4j.minisat.core.Constr

Author:

anne

Method Summary

org.sat4j.specs.IVecInt	computeAnImpliedClause()
java.math.BigInteger	getCoef(int literal)
java.math.BigInteger[]	getCoefs()
java.math.BigInteger	getDegree()
int[]	getLits()
org.sat4j.minisat.core.ILits	getVocabulary()

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

assertConstraint, calcReason, getActivity, incActivity, locked, register, remove, rescaleBy, setLearnt, simplify

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

propagate

Methods inherited from interface org.sat4j.specs.IConstr

get, learnt, size

Method Detail

getCoef

java.math.BigInteger getCoef(int literal)

getDegree

java.math.BigInteger getDegree()

getVocabulary

org.sat4j.minisat.core.ILits getVocabulary()

getLits

int[] getLits()

getCoefs

java.math.BigInteger[] getCoefs()

computeAnImpliedClause

org.sat4j.specs.IVecInt computeAnImpliedClause()