Uses of Interface
org.sat4j.specs.UnitClauseProvider

Packages that use UnitClauseProvider

Package	Description
org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.specs	Those classes are intended for users dealing with SAT solvers as black boxes.
org.sat4j.tools	Tools to be used on top of an ISolver.

Uses of UnitClauseProvider in org.sat4j.minisat.core

Methods in org.sat4j.minisat.core with parameters of type UnitClauseProvider

Modifier and Type	Method and Description
void	Solver.setUnitClauseProvider(UnitClauseProvider ucp)

Uses of UnitClauseProvider in org.sat4j.specs

Fields in org.sat4j.specs declared as UnitClauseProvider

Modifier and Type	Field and Description
static UnitClauseProvider	UnitClauseProvider.VOID

Methods in org.sat4j.specs with parameters of type UnitClauseProvider

Modifier and Type	Method and Description
void	ISolver.setUnitClauseProvider(UnitClauseProvider ucp) Allow the solver to ask for unit clauses before each restarts.

Uses of UnitClauseProvider in org.sat4j.tools

Classes in org.sat4j.tools that implement UnitClauseProvider

Modifier and Type	Class and Description
class	ManyCore<S extends ISolver> A class allowing to run several solvers in parallel.

Methods in org.sat4j.tools with parameters of type UnitClauseProvider

Modifier and Type	Method and Description
void	AbstractOutputSolver.setUnitClauseProvider(UnitClauseProvider upl)
void	ManyCore.setUnitClauseProvider(UnitClauseProvider ucp)
void	StatisticsSolver.setUnitClauseProvider(UnitClauseProvider ucp)
void	SolverDecorator.setUnitClauseProvider(UnitClauseProvider ucp)