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, PBConstr, IConstr

public class UnitClausesPB
extends UnitClauses
implements PBConstr

Field Summary

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

literals

Constructor Summary

Constructors

Constructor and Description
UnitClausesPB(IVecInt values)

Method Summary

Modifier and Type	Method and Description
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.UnitClauses

assertConstraint, assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, canBePropagatedMultipleTimes, forwardActivity, get, getActivity, incActivity, learnt, locked, propagate, register, remove, rescaleBy, setActivity, 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, 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

UnitClausesPB

public UnitClausesPB(IVecInt values)

Method Detail

getCoef

public java.math.BigInteger getCoef(int literal)

Specified by:

getCoef in interface PBConstr

getDegree

public java.math.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 java.math.BigInteger[] getCoefs()

Specified by:

getCoefs in interface PBConstr

computeAnImpliedClause

public IVecInt computeAnImpliedClause()

Specified by:

computeAnImpliedClause in interface PBConstr