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.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.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.
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
 
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.
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
 
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.MaxSatDecorator
 
model() - Method in class org.sat4j.opt.MinOneDecorator
 
model() - Method in class org.sat4j.opt.PseudoOptDecorator
 
model() - Method in class org.sat4j.opt.WeightedMaxSatDecorator
 
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.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
 

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