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

L

Lanceur - Class in org.sat4j

This class is used to launch the SAT solvers from the command line.

Lanceur.ExitCode - Enum in org.sat4j

Enumeration allowing to manage easily exit code for the SAT and PB Competitions.

LanceurPseudo2005 - Class in org.sat4j

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

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

LanceurPseudo2005Dicho - Class in org.sat4j

LanceurPseudo2005Dicho() - Constructor for class org.sat4j.LanceurPseudo2005Dicho

last() - Method in class org.sat4j.core.Vec

return the latest element on the stack.

last() - Method in class org.sat4j.core.VecInt

last() - Method in interface org.sat4j.specs.IVec

return the latest element on the stack.

last() - Method in interface org.sat4j.specs.IVecInt

lastid() - Static method in class org.sat4j.minisat.constraints.cnf.WLClause

Lbool - Enum in org.sat4j.minisat.core

learn(Constr) - Method in interface org.sat4j.minisat.core.Learner

learn(Constr) - Method in interface org.sat4j.minisat.core.SearchListener

learning a new clause

learn(Constr) - Method in class org.sat4j.minisat.core.Solver

learn(Constr) - Method in class org.sat4j.minisat.core.TextOutputListener

learnConstraint(Constr) - Method in class org.sat4j.minisat.constraints.AbstractDataStructureFactory

learnConstraint(Constr) - Method in class org.sat4j.minisat.constraints.MixedDataStructureWithBinary

learnConstraint(Constr) - Method in class org.sat4j.minisat.constraints.MixedDataStructureWithBinaryAndTernary

learnConstraint(Constr) - Method in interface org.sat4j.minisat.core.DataStructureFactory

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

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

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

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

Learner - Interface in org.sat4j.minisat.core

LearningStrategy - Interface in org.sat4j.minisat.core

learns(Constr) - Method in interface org.sat4j.minisat.core.LearningStrategy

learns(Constr) - Method in class org.sat4j.minisat.learning.LimitedLearning

learns(Constr) - Method in class org.sat4j.minisat.learning.MiniSATLearning

learns(Constr) - Method in class org.sat4j.minisat.learning.NoLearningButHeuristics

learns(Constr) - Method in class org.sat4j.minisat.learning.NoLearningNoHeuristics

learnt() - Method in class org.sat4j.minisat.constraints.card.AtLeast

learnt() - Method in class org.sat4j.minisat.constraints.card.MaxWatchCard

D?

learnt() - Method in class org.sat4j.minisat.constraints.card.MinWatchCard

D?

learnt() - Method in class org.sat4j.minisat.constraints.cnf.BinaryClauses

learnt() - Method in class org.sat4j.minisat.constraints.cnf.CBClause

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

learnt() - Method in class org.sat4j.minisat.constraints.cnf.WLClause

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

Dit si la contrainte est apprise

learnt() - Method in interface org.sat4j.specs.IConstr

learntBoundIncFactor - Variable in class org.sat4j.minisat.core.SearchParams

LecteurDimacs - Class in org.sat4j.reader

Dimacs Reader written by Frederic Laihem.

LecteurDimacs(ISolver) - Constructor for class org.sat4j.reader.LecteurDimacs

lightSolver() - Method in class org.sat4j.core.ASolverFactory

To obtain a solver that is suitable for solving many small instances of SAT problems.

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

LimitedLearning - Class in org.sat4j.minisat.learning

Learn only clauses which size is smaller than a percentage of the number of variables.

LimitedLearning() - Constructor for class org.sat4j.minisat.learning.LimitedLearning

LimitedLearning(int) - Constructor for class org.sat4j.minisat.learning.LimitedLearning

Lits - Class in org.sat4j.minisat.constraints.cnf

Lits() - Constructor for class org.sat4j.minisat.constraints.cnf.Lits

Lits2 - Class in org.sat4j.minisat.constraints.cnf

Lits2() - Constructor for class org.sat4j.minisat.constraints.cnf.Lits2

Lits23 - Class in org.sat4j.minisat.constraints.cnf

Lits23() - Constructor for class org.sat4j.minisat.constraints.cnf.Lits23

locked() - Method in class org.sat4j.minisat.constraints.card.AtLeast

locked() - Method in class org.sat4j.minisat.constraints.card.MaxWatchCard

La contrainte est la cause d'une propagation unitaire

locked() - Method in class org.sat4j.minisat.constraints.card.MinWatchCard

La contrainte est la cause d'une propagation unitaire

locked() - Method in class org.sat4j.minisat.constraints.cnf.BinaryClauses

locked() - Method in class org.sat4j.minisat.constraints.cnf.CBClause

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

locked() - Method in class org.sat4j.minisat.constraints.cnf.WLClause

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

La contrainte est la cause d'une propagation unitaire

locked() - Method in interface org.sat4j.minisat.core.Constr

Indicate wether a constraint is responsible from an assignment.