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

P

Pair - Class in org.sat4j.minisat.core

Utility class to be used to return the two results of a conflict analysis.

Pair() - Constructor for class org.sat4j.minisat.core.Pair

ParseFormatException - Exception in org.sat4j.reader

Exception launched when there is a problem during parsing.

ParseFormatException() - Constructor for exception org.sat4j.reader.ParseFormatException

Constructor for ParseFormatException.

ParseFormatException(String) - Constructor for exception org.sat4j.reader.ParseFormatException

Constructor for ParseFormatException.

ParseFormatException(String, Throwable) - Constructor for exception org.sat4j.reader.ParseFormatException

Constructor for ParseFormatException.

ParseFormatException(Throwable) - Constructor for exception org.sat4j.reader.ParseFormatException

Constructor for ParseFormatException.

parseInstance(Reader) - Method in class org.sat4j.reader.AAGReader

parseInstance(InputStream) - Method in class org.sat4j.reader.AIGReader

parseInstance(Reader) - Method in class org.sat4j.reader.AIGReader

parseInstance(Reader) - Method in class org.sat4j.reader.DimacsReader

parseInstance(String) - Method in class org.sat4j.reader.InstanceReader

parseInstance(Reader) - Method in class org.sat4j.reader.InstanceReader

parseInstance(InputStream) - Method in class org.sat4j.reader.LecteurDimacs

parseInstance(Reader) - Method in class org.sat4j.reader.LecteurDimacs

parseInstance(String) - Method in class org.sat4j.reader.Reader

parseInstance(InputStream) - Method in class org.sat4j.reader.Reader

parseInstance(Reader) - Method in class org.sat4j.reader.Reader

parseInstance(int[], int[], int[][], int) - Method in class org.sat4j.tools.DimacsArrayReader

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

Selects the constraints to learn according to its length as a percentage of the total number of variables in the solver universe.

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

PercentLengthLearning(int) - Constructor for class org.sat4j.minisat.learning.PercentLengthLearning

PhaseInLastLearnedClauseSelectionStrategy - Class in org.sat4j.minisat.orders

Keeps record of the phase of a variable in the lastest recorded clause.

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

pop() - Method in class org.sat4j.core.ReadOnlyVec

pop() - Method in class org.sat4j.core.ReadOnlyVecInt

pop() - Method in class org.sat4j.core.Vec

Pop the last element on the stack.

pop() - Method in class org.sat4j.core.VecInt

depile le dernier element du vecteur.

pop() - Method in interface org.sat4j.specs.IVec

Pop the last element on the stack.

pop() - Method in interface org.sat4j.specs.IVecInt

depile le dernier element du vecteur.

PositiveLiteralSelectionStrategy - Class in org.sat4j.minisat.orders

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

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

Returns the positive literal associated with a variable.

printInfos(PrintWriter, String) - Method in class org.sat4j.minisat.core.Solver

printInfos(PrintWriter, String) - Method in interface org.sat4j.specs.IProblem

To print additional informations regarding the problem.

printInfos(PrintWriter, String) - Method in class org.sat4j.tools.DimacsOutputSolver

printInfos(PrintWriter, String) - Method in class org.sat4j.tools.DimacsStringSolver

printInfos(PrintWriter, String) - Method in class org.sat4j.tools.SolverDecorator

printStat(PrintWriter, String) - Method in interface org.sat4j.minisat.core.IOrder

Display statistics regarding the heuristics.

printStat(PrintStream, String) - Method in class org.sat4j.minisat.core.Solver

printStat(PrintWriter, String) - Method in class org.sat4j.minisat.core.Solver

printStat(PrintWriter, String) - Method in class org.sat4j.minisat.core.SolverStats

printStat(PrintWriter, String) - Method in class org.sat4j.minisat.orders.VarOrder

printStat(PrintWriter, String) - Method in class org.sat4j.minisat.orders.VarOrderHeap

printStat(PrintStream, String) - Method in interface org.sat4j.specs.ISolver

Deprecated.

printStat(PrintWriter, String) - Method in interface org.sat4j.specs.ISolver

Display statistics to the given output writer

printStat(PrintStream, String) - Method in class org.sat4j.tools.DimacsOutputSolver

printStat(PrintWriter, String) - Method in class org.sat4j.tools.DimacsOutputSolver

printStat(PrintStream, String) - Method in class org.sat4j.tools.DimacsStringSolver

printStat(PrintWriter, String) - Method in class org.sat4j.tools.DimacsStringSolver

printStat(PrintStream, String) - Method in class org.sat4j.tools.SolverDecorator

Deprecated.

printStat(PrintWriter, String) - Method in class org.sat4j.tools.SolverDecorator

Propagatable - Interface in org.sat4j.minisat.core

This interface is to be implemented by the classes wanted to be notified of the falsification of a literal.

propagate(UnitPropagationListener, int) - Method in class org.sat4j.minisat.constraints.card.AtLeast

propagate(UnitPropagationListener, int) - Method in class org.sat4j.minisat.constraints.card.MaxWatchCard

Propagation de la valeur de v?

propagate(UnitPropagationListener, int) - Method in class org.sat4j.minisat.constraints.card.MinWatchCard

propagates the value of a falsified literal

propagate(UnitPropagationListener, int) - Method in class org.sat4j.minisat.constraints.cnf.BinaryClauses

propagate(UnitPropagationListener, int) - Method in class org.sat4j.minisat.constraints.cnf.CBClause

propagate(UnitPropagationListener, int) - Method in class org.sat4j.minisat.constraints.cnf.MixableCBClause

propagate(UnitPropagationListener, int) - Method in class org.sat4j.minisat.constraints.cnf.TernaryClauses

propagate(UnitPropagationListener, int) - Method in class org.sat4j.minisat.constraints.cnf.WLClause

propagate(UnitPropagationListener, int) - Method in interface org.sat4j.minisat.core.Propagatable

Propagate the truth value of a literal in constraints in which that literal is falsified.

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

propagating(int) - Method in class org.sat4j.minisat.core.DotSearchListener

propagating(int) - Method in interface org.sat4j.minisat.core.SearchListener

Unit propagation

propagating(int) - Method in class org.sat4j.minisat.core.TextOutputListener

propagations - Variable in class org.sat4j.minisat.core.SolverStats

PureOrder - Class in org.sat4j.minisat.orders

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

PureOrder(int) - Constructor for class org.sat4j.minisat.orders.PureOrder

push(Object) - Method in class org.sat4j.core.ReadOnlyVec

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

push(T) - Method in class org.sat4j.core.Vec

push(int) - Method in class org.sat4j.core.VecInt

push(T) - Method in interface org.sat4j.specs.IVec

push(int) - Method in interface org.sat4j.specs.IVecInt

pushAll(IVecInt) - Method in class org.sat4j.core.VecInt