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

N

NAND - Static variable in class org.sat4j.reader.ExtendedDimacsReader

NAND - Static variable in class org.sat4j.tools.ExtendedDimacsArrayReader

nBinaryClauses(int) - Method in class org.sat4j.minisat.constraints.cnf.Lits2

To know the number of binary clauses in which the literal occurs.

nBinaryClauses(int) - Method in interface org.sat4j.minisat.core.ILits2

To know the number of binary clauses in which the literal occurs.

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

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

To know the number of constraints currently available in the solver.

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

nConstraints() - Method in class org.sat4j.tools.DimacsStringSolver

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

neg(int) - Static method in class org.sat4j.core.LiteralsUtils

Returns the opposite literal.

NegativeLiteralSelectionStrategy - Class in org.sat4j.minisat.orders

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

negLit(int) - Static method in class org.sat4j.core.LiteralsUtils

Returns the negative literal associated with a variable.

newActiveLearning() - Static method in class org.sat4j.minisat.SolverFactory

newBackjumping() - Static method in class org.sat4j.minisat.SolverFactory

newDefault() - Static method in class org.sat4j.minisat.SolverFactory

Default solver of the SolverFactory.

newDimacsOutput() - Static method in class org.sat4j.minisat.SolverFactory

newLight() - Static method in class org.sat4j.minisat.SolverFactory

Small footprint SAT solver.

newMini3SAT() - Static method in class org.sat4j.minisat.SolverFactory

newMini3SATb() - Static method in class org.sat4j.minisat.SolverFactory

newMiniCard() - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearning() - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearning(int) - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearning(DataStructureFactory<L>) - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearning(DataStructureFactory<L>, int) - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearning(DataStructureFactory<L>, IOrder<L>) - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearning2() - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearning23() - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearning2Heap() - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearning2NewOrder() - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearningCB() - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearningCBWL() - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearningCBWLPure() - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearningEZSimp() - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearningEZSimp(DataStructureFactory<L>) - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearningHeap() - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearningHeap(DataStructureFactory<L>) - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearningHeapExpSimp() - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearningHeapEZSimp() - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearningHeapEZSimpLongRestarts() - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearningHeapEZSimpNoRestarts() - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearningHeapRsatExpSimp() - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearningHeapRsatExpSimpBiere() - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearningHeapRsatExpSimpLuby() - Static method in class org.sat4j.minisat.SolverFactory

newMiniLearningPure() - Static method in class org.sat4j.minisat.SolverFactory

newMiniSAT() - Static method in class org.sat4j.minisat.SolverFactory

newMiniSAT(DataStructureFactory<L>) - Static method in class org.sat4j.minisat.SolverFactory

newMiniSAT2() - Static method in class org.sat4j.minisat.SolverFactory

newMiniSAT23() - Static method in class org.sat4j.minisat.SolverFactory

newMiniSAT23Heap() - Static method in class org.sat4j.minisat.SolverFactory

newMiniSAT2Heap() - Static method in class org.sat4j.minisat.SolverFactory

newMiniSATHeap() - Static method in class org.sat4j.minisat.SolverFactory

newMiniSATHeap(DataStructureFactory<L>) - Static method in class org.sat4j.minisat.SolverFactory

newMiniSATHeapExpSimp() - Static method in class org.sat4j.minisat.SolverFactory

newMiniSATHeapEZSimp() - Static method in class org.sat4j.minisat.SolverFactory

newMiniSATNoRestarts() - Static method in class org.sat4j.minisat.SolverFactory

newMinOneSolver() - Static method in class org.sat4j.minisat.SolverFactory

newRelsat() - Static method in class org.sat4j.minisat.SolverFactory

newVar() - Method in interface org.sat4j.minisat.core.IOrder

Deprecated.

newVar(int) - Method in interface org.sat4j.minisat.core.IOrder

Method called when Solver.newVar(int) is called.

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

Deprecated.

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

newVar() - Method in class org.sat4j.minisat.orders.VarOrder

newVar(int) - Method in class org.sat4j.minisat.orders.VarOrder

newVar() - Method in class org.sat4j.minisat.orders.VarOrderHeap

Appelee quand une nouvelle variable est creee.

newVar(int) - Method in class org.sat4j.minisat.orders.VarOrderHeap

Appelee lorsque plusieurs variables sont creees

newVar(int) - Method in class org.sat4j.opt.AbstractSelectorVariablesDecorator

newVar() - Method in interface org.sat4j.specs.ISolver

Deprecated.

newVar(int) - Method in interface org.sat4j.specs.ISolver

Create howmany variables in the solver (and thus in the vocabulary).

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

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

newVar() - Method in class org.sat4j.tools.DimacsStringSolver

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

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

Deprecated.

newVar(int) - Method in class org.sat4j.tools.SolverDecorator

next() - Method in interface org.sat4j.specs.IteratorInt

nextRestartNumberOfConflict() - Method in interface org.sat4j.minisat.core.RestartStrategy

Ask for the next restart in number of conflicts.

nextRestartNumberOfConflict() - Method in class org.sat4j.minisat.restarts.ArminRestarts

nextRestartNumberOfConflict() - Method in class org.sat4j.minisat.restarts.LubyRestarts

nextRestartNumberOfConflict() - Method in class org.sat4j.minisat.restarts.MiniSATRestarts

NO_SIMPLIFICATION - Static variable in class org.sat4j.minisat.core.Solver

NoLearningButHeuristics<L extends ILits,D extends DataStructureFactory<L>> - Class in org.sat4j.minisat.learning

Allows MiniSAT to do backjumping without learning.

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

NoLearningNoHeuristics<L extends ILits,D extends DataStructureFactory<L>> - Class in org.sat4j.minisat.learning

Allows MiniSAT to do backjumping without learning.

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

nonOptimalMeansSatisfiable() - Method in class org.sat4j.opt.MaxSatDecorator

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

nonOptimalMeansSatisfiable() - Method in interface org.sat4j.specs.IOptimizationProblem

A suboptimal solution has different meaning depending of the optimization problem considered.

NOR - Static variable in class org.sat4j.reader.ExtendedDimacsReader

NOR - Static variable in class org.sat4j.tools.ExtendedDimacsArrayReader

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

On normalise la contrainte au sens de Barth

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

normalize the constraint (cf.

not(int) - Method in class org.sat4j.minisat.constraints.cnf.Lits

not(int) - Method in interface org.sat4j.minisat.core.ILits

not() - Method in class org.sat4j.minisat.core.Lbool

boolean negation.

NOT - Static variable in class org.sat4j.reader.ExtendedDimacsReader

NOT - Static variable in class org.sat4j.tools.ExtendedDimacsArrayReader

not(int, int) - Method in class org.sat4j.tools.GateTranslator

Translate y <=> not x into clauses.

nTernaryClauses(int) - Method in class org.sat4j.minisat.constraints.cnf.Lits23

nTernaryClauses(int) - Method in interface org.sat4j.minisat.core.ILits23

numberOfInterestingVariables() - Method in class org.sat4j.minisat.orders.VarOrder

numberOfInterestingVariables() - Method in class org.sat4j.minisat.orders.VarOrderHeap

nVars() - Method in class org.sat4j.minisat.constraints.cnf.Lits

nVars() - Method in interface org.sat4j.minisat.core.ILits

to obtain the max id of the variable

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

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

To know the number of variables used in the solver.

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

nVars() - Method in class org.sat4j.tools.DimacsStringSolver

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