Uses of Interface
org.sat4j.specs.IVec

Packages that use IVec

org.sat4j.core	Implementation of the data structures available in org.sat4j.specs.
org.sat4j.minisat.constraints	Implementations of various constraints for MiniSAT.
org.sat4j.minisat.constraints.cnf	Implementations of clausal contraints.
org.sat4j.minisat.constraints.pb	Implementations of pseudo boolean contraints.
org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.reader	Some utility classes to read problems from plain text files.
org.sat4j.specs	Those classes are intented for users dealing with SAT solvers as blackboxes.
org.sat4j.tools	Tools to be used on top of an ISolver.

Uses of IVec in org.sat4j.core

Classes in org.sat4j.core that implement IVec

class

Vec<T> Simple but efficient vector implementation, based on the vector implementation available in MiniSAT.

Methods in org.sat4j.core that return IVec

IVec<T>

Vec.push(T elem)

Methods in org.sat4j.core with parameters of type IVec

void	Vec.copyTo(IVec<T> copy) Ces op�rations devraient se faire en temps constant.
void	Vec.moveTo(IVec<T> dest)

Uses of IVec in org.sat4j.minisat.constraints

Methods in org.sat4j.minisat.constraints that return IVec

IVec<Propagatable>	ClausalDataStructureCB.getWatchesFor(int p)
IVec<Propagatable>	AbstractDataStructureFactory.getWatchesFor(int p)

Methods in org.sat4j.minisat.constraints with parameters of type IVec

static boolean	AbstractCardinalityDataStructure.coefficientsEqualToOne(IVec<java.math.BigInteger> v)
Constr	AbstractPBDataStructureFactory.createPseudoBooleanConstraint(IVecInt literals, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
Constr	AbstractDataStructureFactory.createPseudoBooleanConstraint(IVecInt literals, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
Constr	AbstractCardinalityDataStructure.createPseudoBooleanConstraint(IVecInt literals, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
Constr	AbstractPBDataStructureFactory.createUnregisteredPseudoBooleanConstraint(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
Constr	AbstractDataStructureFactory.createUnregisteredPseudoBooleanConstraint(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
IConstr	AbstractPBDataStructureFactory.createUnregisteredPseudoBooleanConstraint(IVecInt literals, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)

Uses of IVec in org.sat4j.minisat.constraints.cnf

Methods in org.sat4j.minisat.constraints.cnf that return IVec

IVec<Undoable>	Lits.undos(int lit)
IVec<Propagatable>	Lits.watches(int lit)

Uses of IVec in org.sat4j.minisat.constraints.pb

Methods in org.sat4j.minisat.constraints.pb that return IVec

static IVec<java.math.BigInteger>

WatchPb.toVecBigInt(IVecInt vec)

Methods in org.sat4j.minisat.constraints.pb with parameters of type IVec

IConstr	PBSolverWithImpliedClause.addPseudoBoolean(IVecInt literals, IVec<java.math.BigInteger> coeffs, boolean moreThan, java.math.BigInteger degree)
void	MapPb.buildConstraintFromConflict(IVecInt resLits, IVec<java.math.BigInteger> resCoefs)
void	ArrayPb.buildConstraintFromConflict(IVecInt resLits, IVec<java.math.BigInteger> resCoefs)
void	IDataStructurePB.buildConstraintFromConflict(IVecInt resLits, IVec<java.math.BigInteger> resCoefs)
IConstr	IInternalPBConstraintCreator.createUnregisteredPseudoBooleanConstraint(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
static MaxWatchPb	MaxWatchPb.maxWatchPbNew(UnitPropagationListener s, ILits voc, IVecInt ps, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
static PuebloMinWatchPb	PuebloMinWatchPb.minWatchPbNew(UnitPropagationListener s, ILits voc, IVecInt ps, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
static MinWatchPb	MinWatchPb.minWatchPbNew(UnitPropagationListener s, ILits voc, IVecInt ps, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
static IDataStructurePB	WatchPb.niceCheckedParameters(IVecInt ps, IVec<java.math.BigInteger> bigCoefs, boolean moreThan, java.math.BigInteger bigDeg, ILits voc)
static IDataStructurePB	WatchPb.niceParameters(IVecInt ps, IVec<java.math.BigInteger> bigCoefs, boolean moreThan, java.math.BigInteger bigDeg, ILits voc)
static WatchPb	PuebloMinWatchPb.watchPbNew(ILits voc, IVecInt lits, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
static WatchPb	MinWatchPb.watchPbNew(ILits voc, IVecInt lits, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
static WatchPb	MaxWatchPb.watchPbNew(ILits voc, IVecInt lits, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)

Uses of IVec in org.sat4j.minisat.core

Methods in org.sat4j.minisat.core that return IVec

IVec<Propagatable>	DataStructureFactory.getWatchesFor(int p)
IVec<Undoable>	ILits.undos(int lit)
IVec<Propagatable>	ILits.watches(int lit)

Methods in org.sat4j.minisat.core with parameters of type IVec

void	Solver.addAllClauses(IVec<IVecInt> clauses)
IConstr	Solver.addPseudoBoolean(IVecInt literals, IVec<java.math.BigInteger> coeffs, boolean moreThan, java.math.BigInteger degree)
Constr	DataStructureFactory.createPseudoBooleanConstraint(IVecInt literals, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
Constr	DataStructureFactory.createUnregisteredPseudoBooleanConstraint(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)

Uses of IVec in org.sat4j.reader

Methods in org.sat4j.reader that return IVec

IVec<java.math.BigInteger>	OPBReader2005.getCoeffs()
IVec<java.math.BigInteger>	ObjectiveFunction.getCoeffs()

Constructors in org.sat4j.reader with parameters of type IVec

ObjectiveFunction(IVecInt vars, IVec<java.math.BigInteger> coeffs)

Uses of IVec in org.sat4j.specs

Methods in org.sat4j.specs that return IVec

IVec<T>

IVec.push(T elem)

Methods in org.sat4j.specs with parameters of type IVec

void	ISolver.addAllClauses(IVec<IVecInt> clauses) Create clauses from a set of set of literals.
IConstr	ISolver.addPseudoBoolean(IVecInt lits, IVec<java.math.BigInteger> coeffs, boolean moreThan, java.math.BigInteger d) Create a Pseudo-Boolean constraint of the type "at least n of those literals must be satisfied"
void	IVec.copyTo(IVec<T> copy) Ces op�rations devraient se faire en temps constant.
void	IVec.moveTo(IVec<T> dest) Move the content of the vector into dest.

Uses of IVec in org.sat4j.tools

Methods in org.sat4j.tools with parameters of type IVec

void	SolverDecorator.addAllClauses(IVec<IVecInt> clauses)
IConstr	SolverDecorator.addPseudoBoolean(IVecInt literals, IVec<java.math.BigInteger> coeffs, boolean moreThan, java.math.BigInteger degree)