org.sat4j.pb.constraints.pb
Class UnitClausePB

java.lang.Object
  extended by org.sat4j.minisat.constraints.cnf.UnitClause
      extended by org.sat4j.pb.constraints.pb.UnitClausePB
All Implemented Interfaces:
Constr, PBConstr, IConstr

public final class UnitClausePB
extends UnitClause
implements PBConstr


Field Summary
 
Fields inherited from class org.sat4j.minisat.constraints.cnf.UnitClause
literal
 
Constructor Summary
UnitClausePB(int value, ILits voc)
           
 
Method Summary
 IVecInt computeAnImpliedClause()
           
 BigInteger getCoef(int p)
           
 BigInteger[] getCoefs()
           
 BigInteger getDegree()
           
 int[] getLits()
           
 ILits getVocabulary()
           
 
Methods inherited from class org.sat4j.minisat.constraints.cnf.UnitClause
assertConstraint, calcReason, canBePropagatedMultipleTimes, forwardActivity, get, getActivity, incActivity, learnt, locked, propagate, register, remove, rescaleBy, setActivity, setLearnt, simplify, size, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.sat4j.minisat.core.Constr
assertConstraint, calcReason, forwardActivity, incActivity, locked, register, remove, rescaleBy, setActivity, setLearnt, simplify
 
Methods inherited from interface org.sat4j.specs.IConstr
canBePropagatedMultipleTimes, get, getActivity, learnt, size
 

Constructor Detail

UnitClausePB

public UnitClausePB(int value,
                    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


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.