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

S

saturation() - Method in interface org.sat4j.pb.constraints.pb.IDataStructurePB

saturation() - Method in class org.sat4j.pb.constraints.pb.MapPb

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

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

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

La contrainte est apprise

setListOfVariablesForExplanation(IVecInt) - Method in class org.sat4j.pb.core.PBSolver

setListOfVariablesForExplanation(IVecInt) - Method in interface org.sat4j.pb.IPBSolver

setListOfVariablesForExplanation(IVecInt) - Method in class org.sat4j.pb.PBSolverDecorator

setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.core.PBSolver

setObjectiveFunction(ObjectiveFunction) - Method in interface org.sat4j.pb.IPBSolver

setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.orders.VarOrderHeapObjective

setObjectiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.PBSolverDecorator

setObjectTiveFunction(ObjectiveFunction) - Method in class org.sat4j.pb.PseudoOptDecorator

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

Simplifie la contrainte(l'all???

size() - Method in interface org.sat4j.pb.constraints.pb.IDataStructurePB

size() - Method in class org.sat4j.pb.constraints.pb.MapPb

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

slackConflict() - Method in class org.sat4j.pb.constraints.pb.ConflictMap

computes the slack of the current instance

slackConflict() - Method in interface org.sat4j.pb.constraints.pb.IConflict

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

compute the slack of the current constraint slack = poss - degree of the constraint

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

compute the slack of a described constraint slack = poss - degree of the constraint

slackIsCorrect(int) - Method in class org.sat4j.pb.constraints.pb.ConflictMap

slackIsCorrect(int) - Method in interface org.sat4j.pb.constraints.pb.IConflict

SolverFactory - Class in org.sat4j.pb

User friendly access to pre-constructed solvers.