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

R

readInteger(StringBuffer) - Method in class org.sat4j.pb.reader.OPBReader2005

read a integer from file

readWord() - Method in class org.sat4j.pb.reader.OPBReader2005

read a word from file

recalcLeftSide(BigInteger[]) - Method in class org.sat4j.pb.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.pb.constraints.pb.WatchPb

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

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

constraint reduction : removes a literal of the constraint.

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

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

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

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

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

remove() - Method in class org.sat4j.pb.constraints.pb.MaxWatchPb

Enl???

remove() - Method in class org.sat4j.pb.constraints.pb.MinWatchPb

Enl???

rescaleBy(double) - Method in class org.sat4j.pb.constraints.pb.WatchPb

Permet le r??????

resolve(PBConstr, int, VarActivityListener) - Method in class org.sat4j.pb.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.pb.constraints.pb.IConflict

Effectue une resolution avec une contrainte PB.