org.sat4j.pb.constraints.pb
Class Pseudos

java.lang.Object
  extended by 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)


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