Uses of Interface
org.sat4j.specs.UnitClauseProvider

Packages that use UnitClauseProvider

Package	Description
org.sat4j.minisat.core
org.sat4j.pb.core
org.sat4j.pb.tools
org.sat4j.specs
org.sat4j.tools

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.pb.core

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

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

Uses of UnitClauseProvider in org.sat4j.pb.tools

Classes in org.sat4j.pb.tools that implement UnitClauseProvider

Modifier and Type	Class and Description
class	ManyCorePB

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	SolverDecorator.setUnitClauseProvider(UnitClauseProvider ucp)
void	StatisticsSolver.setUnitClauseProvider(UnitClauseProvider ucp)