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

R

Reader - Class 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.

Reader() - Constructor for class org.sat4j.reader.Reader

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

reduceInConstraint(WatchPb, BigInteger[], int, BigInteger) - Method in class org.sat4j.minisat.constraints.pb.ConflictMap

Reduction d'une contrainte On supprime un litteral non assigne prioritairement, vrai sinon.

reduceInConstraint(WatchPb, BigInteger[], int, BigInteger) - Method in interface org.sat4j.minisat.constraints.pb.IConflict

Reduction d'une contrainte On supprime un litteral non assigne prioritairement, vrai sinon.

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.AtLeastPB

register() - Method in class org.sat4j.minisat.constraints.pb.MinWatchCardPB

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

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

Removes a constraint from the solver

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

Rescales the activity value of the constraint

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(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 class org.sat4j.opt.MaxSatDecorator

reset() - Method in class org.sat4j.opt.MinOneDecorator

reset() - Method in class org.sat4j.opt.WeightedMaxSatDecorator

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

resetAllMarks() - Method in class org.sat4j.minisat.constraints.cnf.MarkableLits

resetAllMarks() - Method in interface org.sat4j.minisat.core.IMarkableLits

Set all the literal marks to MARKLESS

resetMark(int) - Method in class org.sat4j.minisat.constraints.cnf.MarkableLits

resetMark(int) - Method in interface org.sat4j.minisat.core.IMarkableLits

Set the mark of a given literal to MARKLESS.

resetPool() - Method in class org.sat4j.minisat.constraints.cnf.Lits

resetPool() - Method in interface org.sat4j.minisat.core.ILits

resolve(PBConstr, int) - Method in class org.sat4j.minisat.constraints.pb.ConflictMap

Effectue une resolution avec une contrainte PB.

resolve(PBConstr, int) - Method in interface org.sat4j.minisat.constraints.pb.IConflict

Effectue une resolution avec une contrainte PB.

ResultCode - Enum in org.sat4j

ResultsManager - Class in org.sat4j

ResultsManager(String, boolean) - Constructor for class org.sat4j.ResultsManager

rootSimplifications - Variable in class org.sat4j.minisat.core.SolverStats

run(String[]) - Method in class org.sat4j.AbstractLauncher

run(String[]) - Method in class org.sat4j.Lanceur