org.sat4j.pb.tools

Class CardConstrFinder

java.lang.Object

org.sat4j.pb.tools.CardConstrFinder

All Implemented Interfaces:

Iterable<AtLeastCard>, Iterator<AtLeastCard>

public class CardConstrFinder
extends Object
implements Iterator<AtLeastCard>, Iterable<AtLeastCard>

Constructor Summary

Constructors

Constructor and Description
CardConstrFinder(IPBSolver coSolver)

Method Summary

Modifier and Type	Method and Description
void	addAtLeast(IVecInt lits, int threshold)
void	addAtMost(IVecInt vec, int threshold)
void	addClause(IVecInt clause)
void	forget()
boolean	hasNext()
int	initNumberOfClauses()
Iterator<AtLeastCard>	iterator()
AtLeastCard	next()
Set<AtLeastCard>	remainingAtLeastCards()
void	remove()
void	rissPreprocessing(String rissLocation, String instance)
IVecInt	searchCardFromAtMostCard(IVecInt literals, int threshold)
IVecInt	searchCardFromClause(IVecInt clause)
void	searchCards()
void	setAuthorizedExtLits(IVecInt lits)
void	setPrintCards(boolean b)
void	setVerbose(boolean verbose)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

CardConstrFinder

public CardConstrFinder(IPBSolver coSolver)

Method Detail

forget

public void forget()

addClause

public void addClause(IVecInt clause)

addAtLeast

public void addAtLeast(IVecInt lits,
                       int threshold)

addAtMost

public void addAtMost(IVecInt vec,
                      int threshold)

rissPreprocessing

public void rissPreprocessing(String rissLocation,
                              String instance)

searchCards

public void searchCards()

searchCardFromClause

public IVecInt searchCardFromClause(IVecInt clause)

searchCardFromAtMostCard

public IVecInt searchCardFromAtMostCard(IVecInt literals,
                                        int threshold)

remainingAtLeastCards

public Set<AtLeastCard> remainingAtLeastCards()

initNumberOfClauses

public int initNumberOfClauses()

setAuthorizedExtLits

public void setAuthorizedExtLits(IVecInt lits)

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<AtLeastCard>

next

public AtLeastCard next()

Specified by:

next in interface Iterator<AtLeastCard>

remove

public void remove()

Specified by:

remove in interface Iterator<AtLeastCard>

setPrintCards

public void setPrintCards(boolean b)

setVerbose

public void setVerbose(boolean verbose)

iterator

public Iterator<AtLeastCard> iterator()

Specified by:

iterator in interface Iterable<AtLeastCard>