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

R

RangeDomain - Class in org.sat4j.reader.csp

RangeDomain(int, int) - Constructor for class org.sat4j.reader.csp.RangeDomain

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

compute the sum of the coefficients of the satisfied or non-assigned literals of a described constraint (usually called poss)

recalcLeftSide() - Method in class org.sat4j.minisat.constraints.pb.WatchPb

compute the sum of the coefficients of the satisfied or non-assigned literals of the current constraint (usually called poss)

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

constraint reduction : removes a literal of the constraint.

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

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.cnf.LearntWLClause

register() - Method in class org.sat4j.minisat.constraints.cnf.OriginalWLClause

register() - Method in class org.sat4j.minisat.constraints.cnf.TernaryClauses

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.

Relation - Interface in org.sat4j.reader.csp

A relation is a formula given in extension.

RemiUtils - Class in org.sat4j.tools

Class dedicated to Remi Coletta utility methods :-)

remove(T) - Method in class org.sat4j.core.Vec

Remove an element that belongs to the Vector.

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

Remove a constraint from the solver.

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

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

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

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, VarActivityListener) - Method in class org.sat4j.minisat.constraints.pb.ConflictMap

computes a cutting plane with a pseudo-boolean constraint. this method updates the current instance (of ConflictMap).

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

Effectue une resolution avec une contrainte PB.

RestartStrategy - Interface in org.sat4j.minisat.core

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