public class MikolasTest extends Object
Constructor and Description |
---|
MikolasTest() |
Modifier and Type | Method and Description |
---|---|
static IVec<BigInteger> |
constant_vector(BigInteger value,
int sz) |
static void |
print_model(IProblem solver) |
void |
testLexicoOptimizationWithPseudoOptDecorator() |
static IVecInt |
vector(int... ls) |
public static IVecInt vector(int... ls)
public static IVec<BigInteger> constant_vector(BigInteger value, int sz)
public static void print_model(IProblem solver)
public void testLexicoOptimizationWithPseudoOptDecorator() throws ContradictionException, TimeoutException
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.