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
 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)