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

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

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

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

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

A SAT solver that adapts its data structures according to the problem to solve.

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

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

Default solver of the 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) - Static method in class org.sat4j.minisat.SolverFactory

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

newMiniLearning(DataStructureFactory, IOrder) - 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) - Static method in class org.sat4j.minisat.SolverFactory

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

newMiniLearningHeap(DataStructureFactory) - 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

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

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

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

Appel�e quand une nouvelle variable est cr��e.

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

Appel�e lorsque plusieurs variables sont cr��es

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

Appel�e quand une nouvelle variable est cr��e.

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

Appel�e lorsque plusieurs variables sont cr��es

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

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

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

Create a new variable in the solver (and thus in the vocabulary).

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

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

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

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

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

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

NoLearningButHeuristics - Class in org.sat4j.minisat.learning

Allows MiniSAT to do backjumping without learning.

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

NoLearningNoHeuristics - 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 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

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, ArrayPb) - Static method in class org.sat4j.minisat.constraints.pb.MaxWatchPb

normalizedMaxWatchPbNew(UnitPropagationListener, ILits, IDataStructurePB) - 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

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

N�gation bool�enne

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

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