org.sat4j.pb.constraints.pb
Interface PBConstr

All Superinterfaces:
Constr, IConstr, Propagatable
All Known Implementing Classes:
AtLeastPB, LearntBinaryClausePB, LearntHTClausePB, MaxWatchPb, MinWatchCardPB, MinWatchPb, MixableCBClausePB, OriginalBinaryClausePB, OriginalHTClausePB, PuebloMinWatchPb, UnitClausePB, WatchPb

public interface PBConstr
extends Constr

Author:
anne

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 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
 

Method Detail

getCoef

java.math.BigInteger getCoef(int literal)

getDegree

java.math.BigInteger getDegree()

getVocabulary

ILits getVocabulary()

getLits

int[] getLits()

getCoefs

java.math.BigInteger[] getCoefs()

computeAnImpliedClause

IVecInt computeAnImpliedClause()


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