org.apache.maven.mercury.metadata.sat
Class SatHelper

java.lang.Object
  org.apache.maven.mercury.metadata.sat.SatHelper

public class SatHelper
extends java.lang.Object

Author:

Oleg Gusakov

Constructor Summary

SatHelper()

Method Summary

static java.util.List<ArtifactMetadata>	createList(java.lang.String... uris)
static org.sat4j.specs.IVec<java.math.BigInteger>	getBigOnes(int... ones)
static org.sat4j.specs.IVec<java.math.BigInteger>	getBigOnes(int nOnes, boolean negate)
static org.sat4j.specs.IVec<java.math.BigInteger>	getBigOnes(int first, int nOnes, boolean negateOnes)
static org.sat4j.specs.IVecInt	getSmallOnes(int... ints)
static org.sat4j.specs.IVecInt	getSmallOnes(int first, int second)
static int[]	toIntArray(int first, int... ints)
static java.lang.String	vectorToString(org.sat4j.specs.IConstr vec)
static java.lang.String	vectorToString(org.sat4j.specs.IVecInt vec)

Methods inherited from class java.lang.Object

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

Constructor Detail

SatHelper

public SatHelper()

Method Detail

createList

public static final java.util.List<ArtifactMetadata> createList(java.lang.String... uris)

getSmallOnes

public static final org.sat4j.specs.IVecInt getSmallOnes(int... ints)

getSmallOnes

public static final org.sat4j.specs.IVecInt getSmallOnes(int first,
                                                         int second)

toIntArray

public static int[] toIntArray(int first,
                               int... ints)

getBigOnes

public static final org.sat4j.specs.IVec<java.math.BigInteger> getBigOnes(int... ones)

getBigOnes

public static final org.sat4j.specs.IVec<java.math.BigInteger> getBigOnes(int nOnes,
                                                                          boolean negate)

getBigOnes

public static final org.sat4j.specs.IVec<java.math.BigInteger> getBigOnes(int first,
                                                                          int nOnes,
                                                                          boolean negateOnes)

vectorToString

public static final java.lang.String vectorToString(org.sat4j.specs.IVecInt vec)

vectorToString

public static final java.lang.String vectorToString(org.sat4j.specs.IConstr vec)