Uses of Class
org.ddolib.ddo.core.SubProblem

Packages that use SubProblem

Package	Description
org.ddolib.ddo.core.cache	This package contains the implementations of cache mechanism.
org.ddolib.ddo.core.compilation	This package contains defining the compilation type and the compilation input
org.ddolib.ddo.core.frontier	This package contains the classes implementing solver frontiers.
org.ddolib.ddo.core.mdd	This package contains the classes that are used to implement a restricted/relaxed MDD.
org.ddolib.util.debug	This package contains util stuff related to the debug mode.
org.ddolib.util.verbosity	This package contains util stuff related the verbose mode.

Uses of SubProblem in org.ddolib.ddo.core.cache

Methods in org.ddolib.ddo.core.cache with parameters of type SubProblem

Modifier and Type	Method	Description
default boolean	Cache.mustExplore(SubProblem<T> subproblem, int depth)	Determines whether the given subproblem must still be explored, based on the information currently stored in the cache.

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

Fields in org.ddolib.ddo.core.compilation declared as SubProblem

Modifier and Type	Field	Description
SubProblem<T>	CompilationConfig.residual	The residual (sub)problem defining the remaining search space to explore during compilation.

Uses of SubProblem in org.ddolib.ddo.core.frontier

Methods in org.ddolib.ddo.core.frontier that return SubProblem

Modifier and Type	Method	Description
SubProblem<T>	Frontier.pop()	Extracts and returns the most promising subproblem from the frontier.
SubProblem<T>	SimpleFrontier.pop()	Removes and returns the most promising subproblem from the frontier.

Methods in org.ddolib.ddo.core.frontier with parameters of type SubProblem

Modifier and Type	Method	Description
void	Frontier.push(SubProblem<T> sub)	Adds a new subproblem to the frontier for future exploration.
void	SimpleFrontier.push(SubProblem<T> sub)	Adds a subproblem to the frontier.

Uses of SubProblem in org.ddolib.ddo.core.mdd

Methods in org.ddolib.ddo.core.mdd that return SubProblem

Modifier and Type	Method	Description
SubProblem<T>	NodeSubProblem.toSubProblem(Set<Decision> pathToRoot)	Converts this node-state association into an actual SubProblem.

Methods in org.ddolib.ddo.core.mdd that return types with arguments of type SubProblem

Modifier and Type	Method	Description
Iterator<SubProblem<T>>	DecisionDiagram.exactCutset()	Provides an iterator over the nodes belonging to the exact cutset of the diagram.
Iterator<SubProblem<T>>	LinkedDecisionDiagram.exactCutset()	Returns an iterator over the nodes in the exact cutset, transformed into subproblems.

Uses of SubProblem in org.ddolib.util.debug

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

Modifier and Type	Method	Description
static <T> void	DebugUtil.checkFlbConsistency(SubProblem<T> current, SubProblem<T> next, double transitionCost)	Given the current node and one of its successor.

Uses of SubProblem in org.ddolib.util.verbosity

Methods in org.ddolib.util.verbosity with parameters of type SubProblem

Modifier and Type	Method	Description
<T> void	VerboseMode.currentSubProblem(int nbIter, SubProblem<T> sub)	Prints message describing the current explored sub problem.