org.sat4j.pb.constraints.pb
Class Pseudos

java.lang.Object
  org.sat4j.pb.constraints.pb.Pseudos

public abstract class Pseudos
extends java.lang.Object

Constructor Summary

Pseudos()

Method Summary

static IDataStructurePB	niceCheckedParameters(IVecInt ps, IVec<java.math.BigInteger> bigCoefs, boolean moreThan, java.math.BigInteger bigDeg, ILits voc)
static java.math.BigInteger	niceCheckedParametersForCompetition(int[] lits, java.math.BigInteger[] bc, boolean moreThan, java.math.BigInteger bigDeg)
static IDataStructurePB	niceParameters(IVecInt ps, IVec<java.math.BigInteger> bigCoefs, boolean moreThan, java.math.BigInteger bigDeg, ILits voc)
static java.math.BigInteger	niceParametersForCompetition(int[] ps, java.math.BigInteger[] bigCoefs, boolean moreThan, java.math.BigInteger bigDeg)
static java.math.BigInteger	toBigInt(int i)
static IVec<java.math.BigInteger>	toVecBigInt(IVecInt vec)

Methods inherited from class java.lang.Object

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

Constructor Detail

Pseudos

public Pseudos()

Method Detail

niceCheckedParameters

public static IDataStructurePB niceCheckedParameters(IVecInt ps,
                                                     IVec<java.math.BigInteger> bigCoefs,
                                                     boolean moreThan,
                                                     java.math.BigInteger bigDeg,
                                                     ILits voc)

niceCheckedParametersForCompetition

public static java.math.BigInteger niceCheckedParametersForCompetition(int[] lits,
                                                                       java.math.BigInteger[] bc,
                                                                       boolean moreThan,
                                                                       java.math.BigInteger bigDeg)

niceParameters

public static IDataStructurePB niceParameters(IVecInt ps,
                                              IVec<java.math.BigInteger> bigCoefs,
                                              boolean moreThan,
                                              java.math.BigInteger bigDeg,
                                              ILits voc)
                                       throws ContradictionException

Throws:

ContradictionException

niceParametersForCompetition

public static java.math.BigInteger niceParametersForCompetition(int[] ps,
                                                                java.math.BigInteger[] bigCoefs,
                                                                boolean moreThan,
                                                                java.math.BigInteger bigDeg)
                                                         throws ContradictionException

Throws:

ContradictionException

toVecBigInt

public static IVec<java.math.BigInteger> toVecBigInt(IVecInt vec)

toBigInt

public static java.math.BigInteger toBigInt(int i)