|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.sat4j.minisat.constraints.cnf.UnitClause org.sat4j.pb.constraints.pb.UnitClausePB
public class UnitClausePB
Field Summary |
---|
Fields inherited from class org.sat4j.minisat.constraints.cnf.UnitClause |
---|
literal |
Constructor Summary | |
---|---|
UnitClausePB(int value,
ILits voc)
|
Method Summary | |
---|---|
IVecInt |
computeAnImpliedClause()
|
java.math.BigInteger |
getCoef(int literal)
|
java.math.BigInteger[] |
getCoefs()
|
java.math.BigInteger |
getDegree()
|
int[] |
getLits()
|
ILits |
getVocabulary()
|
Methods inherited from class org.sat4j.minisat.constraints.cnf.UnitClause |
---|
assertConstraint, calcReason, 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 |
Methods inherited from interface org.sat4j.minisat.core.Constr |
---|
assertConstraint, calcReason, forwardActivity, 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, getActivity, learnt, size |
Constructor Detail |
---|
public UnitClausePB(int value, ILits voc)
Method Detail |
---|
public IVecInt computeAnImpliedClause()
computeAnImpliedClause
in interface PBConstr
public java.math.BigInteger getCoef(int literal)
getCoef
in interface PBConstr
public java.math.BigInteger[] getCoefs()
getCoefs
in interface PBConstr
public java.math.BigInteger getDegree()
getDegree
in interface PBConstr
public int[] getLits()
getLits
in interface PBConstr
public ILits getVocabulary()
getVocabulary
in interface PBConstr
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |