Uses of Interface
org.ddolib.modeling.Model

Packages that use Model

Package	Description
org.ddolib.astar.core.solver	This package implement As Star solver.
org.ddolib.ddo.core.compilation	This package contains defining the compilation type and the compilation input
org.ddolib.modeling	This package contains the interfaces and abstract classes that must be implemented as problem specific classes to model a problem.It also contains default implementation.
org.ddolib.util.debug	This package contains util stuff related to the debug mode.

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

Constructors in org.ddolib.astar.core.solver with parameters of type Model

Modifier	Constructor	Description
	AStarSolver(Model<T> model)

Uses of Model in org.ddolib.ddo.core.compilation

Constructors in org.ddolib.ddo.core.compilation with parameters of type Model

Modifier	Constructor	Description
	CompilationConfig(Model<T> model)	Constructs a new compilation configuration for the given model.

Uses of Model in org.ddolib.modeling

Subinterfaces of Model in org.ddolib.modeling

Modifier and Type	Interface	Description
interface	AcsModel<T>	Defines the structure of an optimization model solved using the Anytime Column Search (ACS) algorithm within the Decision Diagram Optimization (DDO) framework.
interface	AwAstarModel<T>	Defines the structure of an optimization model solved using the Anytime Weighted A* (AWA*) algorithm within the Decision Diagram Optimization (DDO) framework.
interface	DdoModel<T>	Defines the interface for a Dynamic Decision Diagram Optimization (DDO) model.
interface	LnsModel<T>	Interface representing a model for Large Neighborhood Search (LNS) problems.

Classes in org.ddolib.modeling that implement Model

Modifier and Type	Class	Description
class	ExactModel<T>	Defines the interface for a Dynamic Decision Diagram Optimization (DDO) model, used by the ExactSolver

Methods in org.ddolib.modeling that return Model

Modifier and Type	Method	Description
default Model<T>	Model.disableDominance()	Returns a copy of this model but without dominance.
default Model<T>	Model.disableLowerBound()	Returns a copy of this model but without FastLowerBound.

Methods in org.ddolib.modeling with parameters of type Model

Modifier and Type	Method	Description
static <T> Solution	Solvers.minimizeAstar(Model<T> model)	Solves the given model using the A* search algorithm with default parameters.
static <T> Solution	Solvers.minimizeAstar(Model<T> model, BiConsumer<int[],SearchStatistics> onSolution)	Solves the given model using A* and calls back when new incumbent solutions are found.
static <T> Solution	Solvers.minimizeAstar(Model<T> model, Predicate<SearchStatistics> limit)	Solves the given model using A* with a specified stop condition.
static <T> Solution	Solvers.minimizeAstar(Model<T> model, Predicate<SearchStatistics> limit, BiConsumer<int[],SearchStatistics> onSolution)	Core method for solving a model with the A* search algorithm, with custom limit and callback.

Uses of Model in org.ddolib.util.debug

Methods in org.ddolib.util.debug with parameters of type Model

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.