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

O

onCurrentDecisionLevelLiteral(int) - Method in interface org.sat4j.minisat.core.AssertingClauseGenerator

hook method called when a literal from the current decision lelvel is found.

onCurrentDecisionLevelLiteral(int) - Method in class org.sat4j.minisat.uip.DecisionUIP

onCurrentDecisionLevelLiteral(int) - Method in class org.sat4j.minisat.uip.FirstUIP

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

Hook method called when a restart occurs (once the solver has backtracked to top decision level).

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

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

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

OPTIMUM_FOUND - Static variable in class org.sat4j.ExitCode

OptToSatAdapter - Class in org.sat4j.tools

OptToSatAdapter(IOptimizationProblem) - Constructor for class org.sat4j.tools.OptToSatAdapter

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

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

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

translate y <=> x1 \/ x2 \/ ... \/ xn into clauses.

org.sat4j - package org.sat4j

Contain a command line launcher for the SAT solvers.

org.sat4j.core - package org.sat4j.core

Implementation of the data structures available in org.sat4j.specs.

org.sat4j.minisat - package org.sat4j.minisat

Implementation of the MiniSAT specification in Java.

org.sat4j.minisat.constraints - package org.sat4j.minisat.constraints

Implementations of various constraints for MiniSAT.

org.sat4j.minisat.constraints.card - package org.sat4j.minisat.constraints.card

Implementations of cardinality contraints.

org.sat4j.minisat.constraints.cnf - package org.sat4j.minisat.constraints.cnf

Implementations of clausal contraints.

org.sat4j.minisat.core - package org.sat4j.minisat.core

Implementation of the MiniSAT solver skeleton.

org.sat4j.minisat.learning - package org.sat4j.minisat.learning

Various learning strategies.

org.sat4j.minisat.orders - package org.sat4j.minisat.orders

Various heuristics to select the next variable to branch on.

org.sat4j.minisat.restarts - package org.sat4j.minisat.restarts

Various restart strategies.

org.sat4j.minisat.uip - package org.sat4j.minisat.uip

Various ways to compute an asserting clause (containing one Unique Implication Point).

org.sat4j.opt - package org.sat4j.opt

Built-in optimization framework.

org.sat4j.reader - package org.sat4j.reader

Some utility classes to read problems from plain text files.

org.sat4j.specs - package org.sat4j.specs

Those classes are intented for users dealing with SAT solvers as blackboxes.

org.sat4j.tools - package org.sat4j.tools

Tools to be used on top of an ISolver.

OriginalWLClause - Class in org.sat4j.minisat.constraints.cnf

OriginalWLClause(IVecInt, ILits) - Constructor for class org.sat4j.minisat.constraints.cnf.OriginalWLClause