org.sat4j.pb.constraints.pb
Class Pseudos

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

public abstract class Pseudos
extends Object

Constructor Summary

Pseudos()

Method Summary

static IDataStructurePB	niceCheckedParameters(IVecInt ps, IVec<BigInteger> bigCoefs, boolean moreThan, BigInteger bigDeg, ILits voc)
static BigInteger	niceCheckedParametersForCompetition(int[] lits, BigInteger[] bc, boolean moreThan, BigInteger bigDeg)
static IDataStructurePB	niceParameters(IVecInt ps, IVec<BigInteger> bigCoefs, boolean moreThan, BigInteger bigDeg, ILits voc)
static BigInteger	niceParametersForCompetition(int[] ps, BigInteger[] bigCoefs, boolean moreThan, BigInteger bigDeg)
static ObjectiveFunction	normalizeObjective(ObjectiveFunction initial)
static BigInteger	toBigInt(int i)
static IVec<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<BigInteger> bigCoefs,
                                                     boolean moreThan,
                                                     BigInteger bigDeg,
                                                     ILits voc)

niceCheckedParametersForCompetition

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

niceParameters

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

Throws:

ContradictionException

niceParametersForCompetition

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

Throws:

ContradictionException

toVecBigInt

public static IVec<BigInteger> toVecBigInt(IVecInt vec)

toBigInt

public static BigInteger toBigInt(int i)

normalizeObjective

public static ObjectiveFunction normalizeObjective(ObjectiveFunction initial)