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

Lance le prouveur sur un fichier Dimacs.

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

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

Computes a solution that satisfies the maximum of clauses.

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

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?

Messages - Class in org.sat4j

That class is intented to manage internationalisation within the application.

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,D extends DataStructureFactory<L>> - 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

Minisat original restart strategy.

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?

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

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

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

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

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

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

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

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

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

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

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

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

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