Uses of Interface
org.ddolib.common.solver.Solver

Packages that use Solver

Package	Description
org.ddolib.acs.core.solver	This package implement Acs solver.
org.ddolib.astar.core.solver	This package implement As Star solver.
org.ddolib.awastar.core.solver	This contains the implementation of a Anytime Weighted A* solver for decision diagram-based optimization problems.
org.ddolib.ddo.core.solver	This package contains solvers using DDO algorithm.
org.ddolib.lns.core.solver	This package implement LNS solver.
org.ddolib.util.debug	This package contains util stuff related to the debug mode.

Uses of Solver in org.ddolib.acs.core.solver

Classes in org.ddolib.acs.core.solver that implement Solver

Modifier and Type	Class	Description
final class	ACSSolver<T>	Implementation of an Anytime Column Search (ACS) solver for decision diagram-based optimization problems.

Uses of Solver in org.ddolib.astar.core.solver

Classes in org.ddolib.astar.core.solver that implement Solver

Modifier and Type	Class	Description
final class	AStarSolver<T>

Uses of Solver in org.ddolib.awastar.core.solver

Classes in org.ddolib.awastar.core.solver that implement Solver

Modifier and Type	Class	Description
final class	AwAstarSolver<T>	Implementation of an Anytime Weighted A* search (AWA*) solver for decision diagram-based optimization problems.

Uses of Solver in org.ddolib.ddo.core.solver

Classes in org.ddolib.ddo.core.solver that implement Solver

Modifier and Type	Class	Description
final class	ExactSolver<T>	Solver that compiles a single exact decision diagram (MDD) to find the optimal solution.
final class	SequentialSolver<T>	A sequential implementation of a Branch-and-Bound solver based on Multi-valued Decision Diagrams (MDDs).

Uses of Solver in org.ddolib.lns.core.solver

Classes in org.ddolib.lns.core.solver that implement Solver

Modifier and Type	Class	Description
final class	LNSSolver<T>

Uses of Solver in org.ddolib.util.debug

Method parameters in org.ddolib.util.debug with type arguments of type Solver

Modifier and Type	Method	Description
static <T> void	DebugUtil.checkFlbAdmissibility(Set<StateAndDepth<T>> toCheck, Model<T> model, Function<StateAndDepth<T>,Solver> solver)	Given a set of states check if the FastLowerBound is admissible, i.e., whether the bound does not overestimate the path from the states to a terminal node.