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

P

parse() - Method in class org.sat4j.reader.OPBReader2005

parses the file and uses the callbacks to send to send the data back to the program

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

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

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

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(Reader) - Method in class org.sat4j.reader.OPBReader2005

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(String) - Method in class org.sat4j.reader.XMLCSPReader

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

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

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

PBConstr - Interface in org.sat4j.minisat.constraints.pb

PBMaxCBClauseCardConstrDataStructure - Class in org.sat4j.minisat.constraints

PBMaxCBClauseCardConstrDataStructure() - Constructor for class org.sat4j.minisat.constraints.PBMaxCBClauseCardConstrDataStructure

PBMaxClauseAtLeastConstrDataStructure - Class in org.sat4j.minisat.constraints

PBMaxClauseAtLeastConstrDataStructure() - Constructor for class org.sat4j.minisat.constraints.PBMaxClauseAtLeastConstrDataStructure

PBMaxClauseCardConstrDataStructure - Class in org.sat4j.minisat.constraints

PBMaxClauseCardConstrDataStructure() - Constructor for class org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure

PBMaxDataStructure - Class in org.sat4j.minisat.constraints

PBMaxDataStructure() - Constructor for class org.sat4j.minisat.constraints.PBMaxDataStructure

PBMinClauseCardConstrDataStructure - Class in org.sat4j.minisat.constraints

PBMinClauseCardConstrDataStructure() - Constructor for class org.sat4j.minisat.constraints.PBMinClauseCardConstrDataStructure

PBMinDataStructure - Class in org.sat4j.minisat.constraints

PBMinDataStructure() - Constructor for class org.sat4j.minisat.constraints.PBMinDataStructure

PBSolver<L extends ILits> - Class in org.sat4j.minisat.constraints.pb

PBSolver(AssertingClauseGenerator, LearningStrategy<L>, DataStructureFactory<L>, IOrder<L>) - Constructor for class org.sat4j.minisat.constraints.pb.PBSolver

PBSolver(AssertingClauseGenerator, LearningStrategy<L>, DataStructureFactory<L>, SearchParams, IOrder<L>, RestartStrategy) - Constructor for class org.sat4j.minisat.constraints.pb.PBSolver

PBSolver(AssertingClauseGenerator, LearningStrategy<L>, DataStructureFactory<L>, SearchParams, IOrder<L>) - Constructor for class org.sat4j.minisat.constraints.pb.PBSolver

PBSolverClause - Class in org.sat4j.minisat.constraints.pb

PBSolverClause(AssertingClauseGenerator, LearningStrategy<ILits>, DataStructureFactory<ILits>, IOrder<ILits>) - Constructor for class org.sat4j.minisat.constraints.pb.PBSolverClause

PBSolverMerging - Class in org.sat4j.minisat.constraints.pb

PBSolverMerging(AssertingClauseGenerator, LearningStrategy<ILits>, DataStructureFactory<ILits>, IOrder<ILits>) - Constructor for class org.sat4j.minisat.constraints.pb.PBSolverMerging

PBSolverWithImpliedClause - Class in org.sat4j.minisat.constraints.pb

PBSolverWithImpliedClause(AssertingClauseGenerator, LearningStrategy<ILits>, DataStructureFactory<ILits>, IOrder<ILits>) - Constructor for class org.sat4j.minisat.constraints.pb.PBSolverWithImpliedClause

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

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

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

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.

pos(int) - Method in interface org.sat4j.reader.csp.Domain

pos(int) - Method in class org.sat4j.reader.csp.EnumeratedDomain

pos(int) - Method in class org.sat4j.reader.csp.RangeDomain

pos(int) - Method in class org.sat4j.reader.csp.SingletonDomain

Predicate - Class in org.sat4j.reader.csp

A predicate is a formula given in intension.

Predicate() - Constructor for class org.sat4j.reader.csp.Predicate

predicateExpression(String) - Method in class org.sat4j.reader.CSPReader

printLine(String, ExitCode, ResultCode) - Static method in class org.sat4j.ResultsManager

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.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 class org.sat4j.minisat.constraints.pb.MaxWatchPb

Propagation de la valeur de v?

propagate(UnitPropagationListener, int) - Method in class org.sat4j.minisat.constraints.pb.MinWatchPb

Propagation de la valeur de v???

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

PseudoOptDecorator - Class in org.sat4j.opt

A decorator that computes minimal pseudo boolean models.

PseudoOptDecorator(ISolver) - Constructor for class org.sat4j.opt.PseudoOptDecorator

PuebloMinWatchPb - Class in org.sat4j.minisat.constraints.pb

PuebloPBMinClauseAtLeastConstrDataStructure - Class in org.sat4j.minisat.constraints

PuebloPBMinClauseAtLeastConstrDataStructure() - Constructor for class org.sat4j.minisat.constraints.PuebloPBMinClauseAtLeastConstrDataStructure

PuebloPBMinClauseCardConstrDataStructure - Class in org.sat4j.minisat.constraints

PuebloPBMinClauseCardConstrDataStructure() - Constructor for class org.sat4j.minisat.constraints.PuebloPBMinClauseCardConstrDataStructure

PuebloPBMinDataStructure - Class in org.sat4j.minisat.constraints

PuebloPBMinDataStructure() - Constructor for class org.sat4j.minisat.constraints.PuebloPBMinDataStructure

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