org.sat4j.pb
Class MikolasTest

java.lang.Object
  org.sat4j.pb.MikolasTest

public class MikolasTest
extends Object

Constructor Summary

MikolasTest()

Method Summary

static IVec<BigInteger>	constant_vector(BigInteger value, int sz)
static void	print_model(IProblem solver)
void	testLexicoOptimizationWithPseudoOptDecorator()
static 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 IVecInt vector(int... ls)

constant_vector

public static IVec<BigInteger> constant_vector(BigInteger value,
                                               int sz)

print_model

public static void print_model(IProblem solver)

testLexicoOptimizationWithPseudoOptDecorator

public void testLexicoOptimizationWithPseudoOptDecorator()
                                                  throws ContradictionException,
                                                         TimeoutException

Throws:

ContradictionException

TimeoutException