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

R

rand - Static variable in class org.sat4j.minisat.orders.RandomLiteralSelectionStrategy

RandomLiteralSelectionStrategy - Class in org.sat4j.minisat.orders

The variable selection strategy randomly picks one phase, either positive or negative.

RandomLiteralSelectionStrategy() - Constructor for class org.sat4j.minisat.orders.RandomLiteralSelectionStrategy

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

ReadOnlyVec<T> - Class in org.sat4j.core

Utility class to allow Read Only access to an IVec.

ReadOnlyVec(IVec<T>) - Constructor for class org.sat4j.core.ReadOnlyVec

ReadOnlyVecInt - Class in org.sat4j.core

Utility class to allow Read Only access only to an IVecInt.

ReadOnlyVecInt(IVecInt) - Constructor for class org.sat4j.core.ReadOnlyVecInt

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

reason - Variable in class org.sat4j.minisat.core.Pair

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.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 interface org.sat4j.minisat.core.Constr

Register the constraint to the solver.

RemiUtils - Class in org.sat4j.tools

Class dedicated to Remi Coletta utility methods :-)

remove(Object) - Method in class org.sat4j.core.ReadOnlyVec

remove(int) - Method in class org.sat4j.core.ReadOnlyVecInt

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

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

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

RestartStrategy - Interface in org.sat4j.minisat.core

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

RSATPhaseSelectionStrategy - Class in org.sat4j.minisat.orders

Keeps track of the phase of the latest assignment.

RSATPhaseSelectionStrategy() - Constructor for class org.sat4j.minisat.orders.RSATPhaseSelectionStrategy

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