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