org.sat4j.minisat.constraints.card
Class Cards

java.lang.Object
  org.sat4j.minisat.constraints.card.Cards

public abstract class Cards
extends java.lang.Object

Constructor Summary

Cards()

Method Summary

static int

niceParameters(UnitPropagationListener s, ILits voc, IVecInt ps, int deg)

Methods inherited from class java.lang.Object

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

Constructor Detail

Cards

public Cards()

Method Detail

niceParameters

public static int niceParameters(UnitPropagationListener s,
                                 ILits voc,
                                 IVecInt ps,
                                 int deg)
                          throws ContradictionException

Throws:

ContradictionException