|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 | |
---|---|
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 with parameters of type IVec | |
---|---|
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 MinWatchPb |
MinWatchPb.minWatchPbNew(UnitPropagationListener s,
ILits voc,
IVecInt ps,
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |