org.sat4j.pb
Class MikolasTest

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


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