org.sat4j.pb
Class MikolasTest

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

public class MikolasTest
extends Object

Constructor Summary

MikolasTest()

Method Summary

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