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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Builds a SAT solver for the MAX sat evaluation.

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

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

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

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

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

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

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

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

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

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

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

newMiniOPBMinPueblo() - 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

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

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 class org.sat4j.opt.MinCostDecorator

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

Setup the number of variables to use inside the solver.

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

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

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

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

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

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

Nogoods - Class in org.sat4j.reader.csp

Nogoods(int, int) - Constructor for class org.sat4j.reader.csp.Nogoods

NoLearningButHeuristics<L extends ILits> - 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> - 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.MinCostDecorator

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

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

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

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

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

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

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

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.

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

normalizedMaxWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger) - Static method in class org.sat4j.minisat.constraints.pb.MaxWatchPb

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

Permet la cr?

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

normalizedMinWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger) - Static method in class org.sat4j.minisat.constraints.pb.MinWatchPb

normalizedWatchPbNew(ILits, IDataStructurePB) - Static method in class org.sat4j.minisat.constraints.pb.MinWatchPb

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

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

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

not() - Method in enum 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 - Static variable in class org.sat4j.tools.ExtendedDimacsArrayToDimacsConverter

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