org.sat4j.pb

Class MikolasTest

java.lang.Object

org.sat4j.pb.MikolasTest

public class MikolasTest
extends Object

Constructor Summary

Constructors

Constructor and Description
MikolasTest()

Method Summary

Methods

Modifier and Type	Method and Description
static org.sat4j.specs.IVec<BigInteger>	constant_vector(BigInteger value, int sz)
static void	print_model(org.sat4j.specs.IProblem solver)
void	testLexicoOptimizationWithPseudoOptDecorator()
static org.sat4j.specs.IVecInt	vector(int... ls)

Methods inherited from class java.lang.Object

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

Constructor Detail

MikolasTest

public MikolasTest()

Method Detail

vector

public static org.sat4j.specs.IVecInt vector(int... ls)

constant_vector

public static org.sat4j.specs.IVec<BigInteger> constant_vector(BigInteger value,
                                               int sz)

print_model

public static void print_model(org.sat4j.specs.IProblem solver)

testLexicoOptimizationWithPseudoOptDecorator

public void testLexicoOptimizationWithPseudoOptDecorator()
                                                  throws org.sat4j.specs.ContradictionException,
                                                         org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException