org.sat4j.pb.tools

Class AtMostCard

java.lang.Object

org.sat4j.pb.tools.AtMostCard

public class AtMostCard
extends Object

Constructor Summary

Constructors

Constructor and Description
AtMostCard(BitSet atMostLits, int degree, int offset)
AtMostCard(IVecInt atMostLits, int degree)

Method Summary

Modifier and Type	Method and Description
int	getDegree()
IVecInt	getLits()
AtLeastCard	toAtLeast()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AtMostCard

public AtMostCard(IVecInt atMostLits,
                  int degree)

AtMostCard

public AtMostCard(BitSet atMostLits,
                  int degree,
                  int offset)

Method Detail

getLits

public IVecInt getLits()

getDegree

public int getDegree()

toAtLeast

public AtLeastCard toAtLeast()

toString

public String toString()

Overrides:

toString in class Object