org.sat4j.pb.tools

Class AtLeastCard

java.lang.Object

org.sat4j.pb.tools.AtLeastCard

public class AtLeastCard
extends Object

Constructor Summary

Constructors

Constructor and Description
AtLeastCard(BitSet atLeastLits, int degree, int offset)
AtLeastCard(IVecInt atLeastLits, int degree)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
int	getDegree()
IVecInt	getLits()
int	hashCode()
AtMostCard	toAtMost()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

AtLeastCard

public AtLeastCard(IVecInt atLeastLits,
                   int degree)

AtLeastCard

public AtLeastCard(BitSet atLeastLits,
                   int degree,
                   int offset)

Method Detail

getLits

public IVecInt getLits()

getDegree

public int getDegree()

toAtMost

public AtMostCard toAtMost()

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object