A B C D E F G H I J L M N O P R S T U V W X

R

Reader - Interface in org.sat4j.reader
A reader is responsible to feed an ISolver from a text file and to convert the model found by the solver to a textual representation.
readInteger(StringBuffer) - Method in class org.sat4j.reader.OPBReader2005
read a integer from file
readWord() - Method in class org.sat4j.reader.OPBReader2005
read a word from file
realnVars() - Method in class org.sat4j.minisat.constraints.cnf.Lits
 
realnVars() - Method in interface org.sat4j.minisat.core.ILits
to obtain the real number of variables appearing in the formula
recalcLeftSide(BigInteger[]) - Method in class org.sat4j.minisat.constraints.pb.WatchPb
somme des coefficients des litteraux satisfaits ou non assignes de la resolvante
recalcLeftSide() - Method in class org.sat4j.minisat.constraints.pb.WatchPb
somme des coefficients des litteraux satisfaits ou non assignes de la resolvante
reduceddb - Variable in class org.sat4j.minisat.core.SolverStats
 
reducedliterals - Variable in class org.sat4j.minisat.core.SolverStats
 
register() - Method in class org.sat4j.minisat.constraints.card.AtLeast
 
register() - Method in class org.sat4j.minisat.constraints.card.MaxWatchCard
 
register() - Method in class org.sat4j.minisat.constraints.card.MinWatchCard
 
register() - Method in class org.sat4j.minisat.constraints.cnf.BinaryClauses
 
register() - Method in class org.sat4j.minisat.constraints.cnf.CBClause
 
register() - Method in class org.sat4j.minisat.constraints.cnf.TernaryClauses
 
register() - Method in class org.sat4j.minisat.constraints.cnf.WLClause
Register this clause which means watching the necessary literals If the clause is learnt, setLearnt() must be called before a call to register()
register() - Method in class org.sat4j.minisat.constraints.pb.WatchPb
 
register() - Method in interface org.sat4j.minisat.core.Constr
Register the constraint to the solver.
RemiUtils - Class in org.sat4j.tools
Class dedicated to Rémi Coletta utility methods :-)
RemiUtils() - Constructor for class org.sat4j.tools.RemiUtils
 
remove(T) - Method in class org.sat4j.core.Vec
Enleve un element qui se trouve dans le vecteur!!!
remove(int) - Method in class org.sat4j.core.VecInt
Enleve un element qui se trouve dans le vecteur!!!
remove() - Method in class org.sat4j.minisat.constraints.card.AtLeast
 
remove() - Method in class org.sat4j.minisat.constraints.card.MaxWatchCard
Enl?
remove() - Method in class org.sat4j.minisat.constraints.card.MinWatchCard
Enl?
remove() - Method in class org.sat4j.minisat.constraints.cnf.BinaryClauses
 
remove() - Method in class org.sat4j.minisat.constraints.cnf.CBClause
 
remove() - Method in class org.sat4j.minisat.constraints.cnf.TernaryClauses
 
remove() - Method in class org.sat4j.minisat.constraints.cnf.WLClause
 
remove() - Method in class org.sat4j.minisat.constraints.pb.MaxWatchPb
Enl???
remove() - Method in class org.sat4j.minisat.constraints.pb.MinWatchPb
Enl???
remove() - Method in interface org.sat4j.minisat.core.Constr
Enl?
remove(T) - Method in interface org.sat4j.specs.IVec
Enleve un element qui se trouve dans le vecteur!!!
remove(int) - Method in interface org.sat4j.specs.IVecInt
Enleve un element qui se trouve dans le vecteur!!!
removeConstr(IConstr) - Method in class org.sat4j.minisat.core.Solver
 
removeConstr(IConstr) - Method in interface org.sat4j.specs.ISolver
Remove a constraint returned by one of the add method from the solver.
removeConstr(IConstr) - Method in class org.sat4j.tools.SolverDecorator
 
rescaleBy(double) - Method in class org.sat4j.minisat.constraints.card.AtLeast
 
rescaleBy(double) - Method in class org.sat4j.minisat.constraints.card.MaxWatchCard
Permet le r??
rescaleBy(double) - Method in class org.sat4j.minisat.constraints.card.MinWatchCard
Permet le r??
rescaleBy(double) - Method in class org.sat4j.minisat.constraints.cnf.BinaryClauses
 
rescaleBy(double) - Method in class org.sat4j.minisat.constraints.cnf.CBClause
 
rescaleBy(double) - Method in class org.sat4j.minisat.constraints.cnf.TernaryClauses
 
rescaleBy(double) - Method in class org.sat4j.minisat.constraints.cnf.WLClause
 
rescaleBy(double) - Method in class org.sat4j.minisat.constraints.pb.WatchPb
Permet le r??????
rescaleBy(double) - Method in interface org.sat4j.minisat.core.Constr
Rescale the clause activity by a value.
reset() - Method in class org.sat4j.minisat.constraints.AbstractDataStructureFactory
 
reset() - Method in class org.sat4j.minisat.constraints.AbstractPBDataStructureFactory
 
reset(int) - Method in class org.sat4j.minisat.constraints.cnf.Lits
 
reset() - Method in interface org.sat4j.minisat.core.DataStructureFactory
 
reset(int) - Method in interface org.sat4j.minisat.core.ILits
 
reset() - Method in class org.sat4j.minisat.core.Solver
 
reset() - Method in class org.sat4j.minisat.core.SolverStats
 
reset() - Method in interface org.sat4j.specs.ISolver
Clean up the internal state of the solver.
reset() - Method in class org.sat4j.tools.ModelIterator
 
reset() - Method in class org.sat4j.tools.SolverDecorator
 
resetIds() - Static method in class org.sat4j.minisat.constraints.cnf.WLClause
 
resetPool() - Method in class org.sat4j.minisat.constraints.cnf.Lits
 
resetPool() - Method in interface org.sat4j.minisat.core.ILits
 
rootSimplifications - Variable in class org.sat4j.minisat.core.SolverStats
 
run(String[]) - Method in class org.sat4j.Lanceur
 

A B C D E F G H I J L M N O P R S T U V W X