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

M

main(String[]) - Static method in class org.sat4j.Lanceur

Lance le prouveur sur un fichier Dimacs.

main(String[]) - Static method in class org.sat4j.LanceurPseudo2005

Lance le prouveur sur un fichier Dimacs

main(String[]) - Static method in class org.sat4j.LanceurPseudo2005Dicho

main(String[]) - Static method in class org.sat4j.MoreThanSAT

MaxWatchCard - Class in org.sat4j.minisat.constraints.card

maxWatchCardNew(UnitPropagationListener, ILits, IVecInt, boolean, int) - Static method in class org.sat4j.minisat.constraints.card.MaxWatchCard

Permet la cr?

MaxWatchPb - Class in org.sat4j.minisat.constraints.pb

maxWatchPbNew(UnitPropagationListener, ILits, IVecInt, IVecInt, boolean, int) - Static method in class org.sat4j.minisat.constraints.pb.MaxWatchPb

maxWatchPbNew(UnitPropagationListener, ILits, IVecInt, IVec<BigInteger>, boolean, BigInteger) - Static method in class org.sat4j.minisat.constraints.pb.MaxWatchPb

Minimal4CardinalityModel - Class in org.sat4j.tools

Computes models with a minimal number (with respect to cardinality) of negative literals.

Minimal4CardinalityModel(ISolver) - Constructor for class org.sat4j.tools.Minimal4CardinalityModel

Minimal4InclusionModel - Class in org.sat4j.tools

Computes models with a minimal subset (with respect to set inclusion) of negative literals.

Minimal4InclusionModel(ISolver) - Constructor for class org.sat4j.tools.Minimal4InclusionModel

MiniSATLearning - Class in org.sat4j.minisat.learning

MiniSAT learning scheme.

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

MinWatchCard - Class in org.sat4j.minisat.constraints.card

minWatchCardNew(UnitPropagationListener, ILits, IVecInt, boolean, int) - Static method in class org.sat4j.minisat.constraints.card.MinWatchCard

Permet la cr?

MinWatchPb - Class in org.sat4j.minisat.constraints.pb

minWatchPbNew(UnitPropagationListener, ILits, IVecInt, IVecInt, boolean, int) - Static method in class org.sat4j.minisat.constraints.pb.MinWatchPb

minWatchPbNew(UnitPropagationListener, ILits, IVecInt, IVec<BigInteger>, boolean, BigInteger) - Static method in class org.sat4j.minisat.constraints.pb.MinWatchPb

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

Counter Based clauses that can be mixed with WLCLauses

MixableCBClause(IVecInt, ILits) - Constructor for class org.sat4j.minisat.constraints.cnf.MixableCBClause

MixableCBClause(IVecInt, ILits, boolean) - Constructor for class org.sat4j.minisat.constraints.cnf.MixableCBClause

MixedDataStructureDaniel - Class in org.sat4j.minisat.constraints

MixedDataStructureDaniel() - Constructor for class org.sat4j.minisat.constraints.MixedDataStructureDaniel

MixedDataStructureWithBinary - Class in org.sat4j.minisat.constraints

MixedDataStructureWithBinary() - Constructor for class org.sat4j.minisat.constraints.MixedDataStructureWithBinary

MixedDataStructureWithBinaryAndTernary - Class in org.sat4j.minisat.constraints

MixedDataStructureWithBinaryAndTernary() - Constructor for class org.sat4j.minisat.constraints.MixedDataStructureWithBinaryAndTernary

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

Si un mod?

model() - Method in interface org.sat4j.specs.IProblem

Provide a model (if any) for a satisfiable formula.

model() - Method in class org.sat4j.tools.Minimal4CardinalityModel

model() - Method in class org.sat4j.tools.Minimal4InclusionModel

model() - Method in class org.sat4j.tools.ModelIterator

model() - Method in class org.sat4j.tools.SolverDecorator

ModelIterator - Class in org.sat4j.tools

That class allows to iterate through all the models (implicants) of a formula.

ModelIterator(ISolver) - Constructor for class org.sat4j.tools.ModelIterator

MoreThanSAT - Class in org.sat4j

This is an example of use of the SAT4J library for computing the backbone of a CNF or to compute the number of solutions of a CNF.

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

moveTo(IVec<T>) - Method in class org.sat4j.core.Vec

moveTo(int, int) - Method in class org.sat4j.core.Vec

moveTo(IVecInt) - Method in class org.sat4j.core.VecInt

moveTo(int, int) - Method in class org.sat4j.core.VecInt

moveTo(int[]) - Method in class org.sat4j.core.VecInt

moveTo(IVec<T>) - Method in interface org.sat4j.specs.IVec

Move the content of the vector into dest.

moveTo(int, int) - Method in interface org.sat4j.specs.IVec

Move elements inside the vector.

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

moveTo(int[]) - Method in interface org.sat4j.specs.IVecInt

moveTo(int, int) - Method in interface org.sat4j.specs.IVecInt

Move elements inside the vector.

moveTo2(IVecInt) - Method in class org.sat4j.core.VecInt

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

MyOrder - Class in org.sat4j.minisat.orders

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