public abstract class Pseudos
extends java.lang.Object
Constructor and Description |
---|
Pseudos() |
Modifier and Type | Method and Description |
---|---|
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 ObjectiveFunction |
normalizeObjective(ObjectiveFunction initial) |
static java.math.BigInteger |
toBigInt(int i) |
static IVec<java.math.BigInteger> |
toVecBigInt(IVecInt vec) |
public static IDataStructurePB niceCheckedParameters(IVecInt ps, IVec<java.math.BigInteger> bigCoefs, boolean moreThan, java.math.BigInteger bigDeg, ILits voc)
public static java.math.BigInteger niceCheckedParametersForCompetition(int[] lits, java.math.BigInteger[] bc, boolean moreThan, java.math.BigInteger bigDeg)
public static IDataStructurePB niceParameters(IVecInt ps, IVec<java.math.BigInteger> bigCoefs, boolean moreThan, java.math.BigInteger bigDeg, ILits voc) throws ContradictionException
ContradictionException
public static java.math.BigInteger niceParametersForCompetition(int[] ps, java.math.BigInteger[] bigCoefs, boolean moreThan, java.math.BigInteger bigDeg) throws ContradictionException
ContradictionException
public static java.math.BigInteger toBigInt(int i)
public static ObjectiveFunction normalizeObjective(ObjectiveFunction initial)