org.sat4j.pb.constraints.pb

Class UnitClausePB

java.lang.Object

org.sat4j.minisat.constraints.cnf.UnitClause

org.sat4j.pb.constraints.pb.UnitClausePB

All Implemented Interfaces:

PBConstr, Constr, IConstr

public final class UnitClausePB
extends UnitClause
implements PBConstr

Field Summary

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

activity, literal

Fields inherited from interface org.sat4j.specs.Constr

TAUTOLOGY

Constructor Summary

Constructors

Constructor and Description
UnitClausePB(int value, boolean learnt, ILits voc)
UnitClausePB(int value, ILits voc)

Method Summary

Modifier and Type	Method and Description
IVecInt	computeAnImpliedClause()
String	dump()
BigInteger	getCoef(int p)
BigInteger[]	getCoefs()
BigInteger	getDegree()
int[]	getLits()
BigInteger	getSumCoefs()
ILits	getVocabulary()

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

assertConstraint, assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, canBePropagatedMultipleTimes, canBeSatisfiedByCountingLiterals, forwardActivity, get, getActivity, getAssertionLevel, incActivity, isSatisfied, learnt, locked, propagate, propagatePi, register, remove, requiredNumberOfSatisfiedLiterals, rescaleBy, setActivity, setLearnt, simplify, size, toString, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.sat4j.specs.Constr

assertConstraint, assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, canBeSatisfiedByCountingLiterals, forwardActivity, getAssertionLevel, incActivity, isSatisfied, locked, register, remove, requiredNumberOfSatisfiedLiterals, rescaleBy, setActivity, setLearnt, simplify

Methods inherited from interface org.sat4j.specs.IConstr

canBePropagatedMultipleTimes, get, getActivity, learnt, size, toString

Constructor Detail

UnitClausePB

public UnitClausePB(int value,
                    ILits voc)

UnitClausePB

public UnitClausePB(int value,
                    boolean learnt,
                    ILits voc)

Method Detail

computeAnImpliedClause

public IVecInt computeAnImpliedClause()

Specified by:

computeAnImpliedClause in interface PBConstr

getCoef

public BigInteger getCoef(int p)

Specified by:

getCoef in interface PBConstr

getCoefs

public BigInteger[] getCoefs()

Specified by:

getCoefs in interface PBConstr

getDegree

public 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

dump

public String dump()

Specified by:

dump in interface IConstr

Overrides:

dump in class UnitClause

getSumCoefs

public BigInteger getSumCoefs()

Specified by:

getSumCoefs in interface PBConstr