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.CSPLauncher

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

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.LanceurPseudo2007

Lance le prouveur sur un fichier Dimacs

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

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

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

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

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

MARKLESS - Static variable in interface org.sat4j.minisat.core.IMarkableLits

MaxSatDecorator - Class in org.sat4j.opt

MaxSatDecorator(ISolver) - Constructor for class org.sat4j.opt.MaxSatDecorator

MaxSatLauncher - Class in org.sat4j

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

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

Messages - Class in org.sat4j

That class is intented to manage internationalisation within the application.

MinCostDecorator - Class in org.sat4j.opt

A decorator that computes minimal cost models.

MinCostDecorator(ISolver) - Constructor for class org.sat4j.opt.MinCostDecorator

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<L extends ILits> - Class in org.sat4j.minisat.learning

MiniSAT learning scheme.

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

MiniSATRestarts - Class in org.sat4j.minisat.restarts

MiniSATRestarts() - Constructor for class org.sat4j.minisat.restarts.MiniSATRestarts

MinOneDecorator - Class in org.sat4j.opt

Computes a solution with the smallest number of satisfied literals.

MinOneDecorator(ISolver) - Constructor for class org.sat4j.opt.MinOneDecorator

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

MinWatchCard(ILits, IVecInt, boolean, int) - Constructor for class org.sat4j.minisat.constraints.card.MinWatchCard

Constructs and normalizes a cardinality constraint. used by minWatchCardNew in the non-normalized case.

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

Constructs a cardinality constraint with a minimal set of watched literals Permet la cr?

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

MinWatchCardPB(ILits, IVecInt, boolean, int) - Constructor for class org.sat4j.minisat.constraints.pb.MinWatchCardPB

MinWatchCardPB(ILits, IVecInt, int) - Constructor for class org.sat4j.minisat.constraints.pb.MinWatchCardPB

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

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

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

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

minWatchPbNew(UnitPropagationListener, ILits, IDataStructurePB) - Static method in class org.sat4j.minisat.constraints.pb.PuebloMinWatchPb

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

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

MixableCBClausePB(IVecInt, ILits, boolean) - Constructor for class org.sat4j.minisat.constraints.pb.MixableCBClausePB

MixableCBClausePB(IVecInt, ILits) - Constructor for class org.sat4j.minisat.constraints.pb.MixableCBClausePB

MixedDataStructureDaniel - Class in org.sat4j.minisat.constraints

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

MixedDataStructureDanielCBWL - Class in org.sat4j.minisat.constraints

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

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(int) - Method in class org.sat4j.minisat.core.Solver

model() - Method in class org.sat4j.opt.AbstractSelectorVariablesDecorator

model() - Method in class org.sat4j.opt.MinCostDecorator

model() - Method in class org.sat4j.opt.MinOneDecorator

model() - Method in class org.sat4j.opt.PseudoOptDecorator

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

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

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

Provide the truth value of a specific variable in the model.

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

model(int) - Method in class org.sat4j.tools.DimacsOutputSolver

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(int) - Method in class org.sat4j.tools.SolverDecorator

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.

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