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(org.sat4j.specs.IVecInt ps, org.sat4j.specs.IVec<java.math.BigInteger> bigCoefs, boolean moreThan, java.math.BigInteger bigDeg, org.sat4j.minisat.core.ILits voc)
static java.math.BigInteger	niceCheckedParametersForCompetition(int[] lits, java.math.BigInteger[] bc, boolean moreThan, java.math.BigInteger bigDeg)
static IDataStructurePB	niceParameters(org.sat4j.specs.IVecInt ps, org.sat4j.specs.IVec<java.math.BigInteger> bigCoefs, boolean moreThan, java.math.BigInteger bigDeg, org.sat4j.minisat.core.ILits voc)
static java.math.BigInteger	niceParametersForCompetition(int[] ps, java.math.BigInteger[] bigCoefs, boolean moreThan, java.math.BigInteger bigDeg)
static org.sat4j.specs.IVec<java.math.BigInteger>	toVecBigInt(org.sat4j.specs.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(org.sat4j.specs.IVecInt ps,
                                                     org.sat4j.specs.IVec<java.math.BigInteger> bigCoefs,
                                                     boolean moreThan,
                                                     java.math.BigInteger bigDeg,
                                                     org.sat4j.minisat.core.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(org.sat4j.specs.IVecInt ps,
                                              org.sat4j.specs.IVec<java.math.BigInteger> bigCoefs,
                                              boolean moreThan,
                                              java.math.BigInteger bigDeg,
                                              org.sat4j.minisat.core.ILits voc)
                                       throws org.sat4j.specs.ContradictionException

Throws:

org.sat4j.specs.ContradictionException

niceParametersForCompetition

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

Throws:

org.sat4j.specs.ContradictionException

toVecBigInt

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