|
||||||||||
| 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.opt | Built-in optimization framework. |
| org.sat4j.reader | Some utility classes to read problems from plain text files. |
| org.sat4j.reader.csp | Classes needed for CSP to SAT translation. |
| 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 operations 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)
|
protected PBConstr |
PuebloPBMinDataStructure.constraintFactory(IVecInt literals,
IVec<java.math.BigInteger> coefs,
java.math.BigInteger degree)
|
protected WatchPb |
PBMaxDataStructure.constraintFactory(IVecInt literals,
IVec<java.math.BigInteger> coefs,
java.math.BigInteger degree)
|
protected PBConstr |
PBMinDataStructure.constraintFactory(IVecInt literals,
IVec<java.math.BigInteger> coefs,
java.math.BigInteger degree)
|
protected abstract PBConstr |
AbstractPBDataStructureFactory.constraintFactory(IVecInt literals,
IVec<java.math.BigInteger> coefs,
java.math.BigInteger degree)
|
protected PBConstr |
AbstractPBClauseCardConstrDataStructure.constraintFactory(IVecInt literals,
IVec<java.math.BigInteger> coefs,
java.math.BigInteger degree)
|
protected PBConstr |
PuebloPBMinDataStructure.constraintFactory(IVecInt literals,
IVec<java.math.BigInteger> coefs,
boolean moreThan,
java.math.BigInteger degree)
|
protected WatchPb |
PBMaxDataStructure.constraintFactory(IVecInt literals,
IVec<java.math.BigInteger> coefs,
boolean moreThan,
java.math.BigInteger degree)
|
protected PBConstr |
PBMinDataStructure.constraintFactory(IVecInt literals,
IVec<java.math.BigInteger> coefs,
boolean moreThan,
java.math.BigInteger degree)
|
protected abstract PBConstr |
AbstractPBDataStructureFactory.constraintFactory(IVecInt literals,
IVec<java.math.BigInteger> coefs,
boolean moreThan,
java.math.BigInteger degree)
|
protected PBConstr |
AbstractPBClauseCardConstrDataStructure.constraintFactory(IVecInt literals,
IVec<java.math.BigInteger> coefs,
boolean moreThan,
java.math.BigInteger degree)
|
protected PBConstr |
PBMaxClauseCardConstrDataStructure.constructLearntPB(IVecInt literals,
IVec<java.math.BigInteger> coefs,
java.math.BigInteger degree)
|
protected PBConstr |
PuebloPBMinClauseCardConstrDataStructure.constructLearntPB(IVecInt literals,
IVec<java.math.BigInteger> coefs,
java.math.BigInteger degree)
|
protected PBConstr |
PBMinClauseCardConstrDataStructure.constructLearntPB(IVecInt literals,
IVec<java.math.BigInteger> coefs,
java.math.BigInteger degree)
|
protected abstract PBConstr |
AbstractPBClauseCardConstrDataStructure.constructLearntPB(IVecInt literals,
IVec<java.math.BigInteger> coefs,
java.math.BigInteger degree)
|
Constr |
AbstractPBDataStructureFactory.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 |
AbstractDataStructureFactory.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 |
|---|
| Fields in org.sat4j.minisat.constraints.cnf declared as IVec | |
|---|---|
protected IVec<Propagatable>[] |
Lits.watches
|
| 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 |
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 |
MaxWatchPb.watchPbNew(ILits voc,
IVecInt lits,
IVec<java.math.BigInteger> coefs,
boolean moreThan,
java.math.BigInteger degree)
|
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)
|
| 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.opt |
|---|
| Methods in org.sat4j.opt that return IVec | |
|---|---|
IVec<java.math.BigInteger> |
ObjectiveFunction.getCoeffs()
|
| Constructors in org.sat4j.opt with parameters of type IVec | |
|---|---|
ObjectiveFunction(IVecInt vars,
IVec<java.math.BigInteger> coeffs)
|
|
| Uses of IVec in org.sat4j.reader |
|---|
| Methods in org.sat4j.reader that return IVec | |
|---|---|
IVec<java.math.BigInteger> |
OPBReader2005.getCoeffs()
|
| Uses of IVec in org.sat4j.reader.csp |
|---|
| Methods in org.sat4j.reader.csp with parameters of type IVec | |
|---|---|
protected Encoding |
BessiereSupports.chooseEncoding(IVec<Var> scope)
|
protected Encoding |
GentSupports.chooseEncoding(IVec<Var> scope)
|
protected Encoding |
WalshSupports.chooseEncoding(IVec<Var> scope)
|
protected abstract Encoding |
Supports.chooseEncoding(IVec<Var> scope)
|
void |
GeneralizedSupportEncoding.onFinish(ISolver solver,
IVec<Var> scope)
|
void |
DirectEncoding.onFinish(ISolver solver,
IVec<Var> scope)
|
void |
BinarySupportEncoding.onFinish(ISolver solver,
IVec<Var> scope)
|
void |
Encoding.onFinish(ISolver solver,
IVec<Var> scope)
|
void |
GeneralizedSupportEncoding.onInit(ISolver solver,
IVec<Var> scope)
|
void |
DirectEncoding.onInit(ISolver solver,
IVec<Var> scope)
|
void |
BinarySupportEncoding.onInit(ISolver solver,
IVec<Var> scope)
|
void |
Encoding.onInit(ISolver solver,
IVec<Var> scope)
|
void |
GeneralizedSupportEncoding.onNogood(ISolver solver,
IVec<Var> scope,
java.util.Map<Evaluable,java.lang.Integer> tuple)
|
void |
DirectEncoding.onNogood(ISolver solver,
IVec<Var> scope,
java.util.Map<Evaluable,java.lang.Integer> tuple)
|
void |
BinarySupportEncoding.onNogood(ISolver solver,
IVec<Var> scope,
java.util.Map<Evaluable,java.lang.Integer> tuple)
|
void |
Encoding.onNogood(ISolver solver,
IVec<Var> scope,
java.util.Map<Evaluable,java.lang.Integer> tuple)
|
void |
GeneralizedSupportEncoding.onSupport(ISolver solver,
IVec<Var> scope,
java.util.Map<Evaluable,java.lang.Integer> tuple)
|
void |
DirectEncoding.onSupport(ISolver solver,
IVec<Var> scope,
java.util.Map<Evaluable,java.lang.Integer> tuple)
|
void |
BinarySupportEncoding.onSupport(ISolver solver,
IVec<Var> scope,
java.util.Map<Evaluable,java.lang.Integer> tuple)
|
void |
Encoding.onSupport(ISolver solver,
IVec<Var> scope,
java.util.Map<Evaluable,java.lang.Integer> tuple)
|
void |
AllDiff.toClause(ISolver solver,
IVec<Var> scope,
IVec<Evaluable> vars)
|
void |
AllDiff.toClause(ISolver solver,
IVec<Var> scope,
IVec<Evaluable> vars)
|
void |
Nogoods.toClause(ISolver solver,
IVec<Var> scope,
IVec<Evaluable> vars)
|
void |
Nogoods.toClause(ISolver solver,
IVec<Var> scope,
IVec<Evaluable> vars)
|
void |
Supports.toClause(ISolver solver,
IVec<Var> scope,
IVec<Evaluable> vars)
|
void |
Supports.toClause(ISolver solver,
IVec<Var> scope,
IVec<Evaluable> vars)
|
void |
Predicate.toClause(ISolver solver,
IVec<Var> vscope,
IVec<Evaluable> vars)
|
void |
Predicate.toClause(ISolver solver,
IVec<Var> vscope,
IVec<Evaluable> vars)
|
void |
Clausifiable.toClause(ISolver solver,
IVec<Var> scope,
IVec<Evaluable> vars)
|
void |
Clausifiable.toClause(ISolver solver,
IVec<Var> scope,
IVec<Evaluable> vars)
|
| 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 operations 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 |
DimacsOutputSolver.addAllClauses(IVec<IVecInt> clauses)
|
void |
SolverDecorator.addAllClauses(IVec<IVecInt> clauses)
|
IConstr |
DimacsOutputSolver.addPseudoBoolean(IVecInt lits,
IVec<java.math.BigInteger> coeffs,
boolean moreThan,
java.math.BigInteger d)
|
IConstr |
SolverDecorator.addPseudoBoolean(IVecInt literals,
IVec<java.math.BigInteger> coeffs,
boolean moreThan,
java.math.BigInteger degree)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||