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

L

LanceurPseudo2005 - Class in org.sat4j.pb

Launcher especially dedicated to the pseudo boolean 05 evaluation (@link http://www.cril.univ-artois.fr/PB05/).

LanceurPseudo2005() - Constructor for class org.sat4j.pb.LanceurPseudo2005

LanceurPseudo2007 - Class in org.sat4j.pb

Launcher for the Pseudo Boolean 2007 competition.

LanceurPseudo2007() - Constructor for class org.sat4j.pb.LanceurPseudo2007

LanceurPseudo2007Eclipse - Class in org.sat4j.pb

LanceurPseudo2007Eclipse() - Constructor for class org.sat4j.pb.LanceurPseudo2007Eclipse

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

D?

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

D?

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

is the constraint a learnt constrainte ?

lightSolver() - Method in class org.sat4j.pb.SolverFactory

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

The constraint is the reason of a unit propagation.