Uses of Record Class
org.ddolib.util.StateAndDepth

Packages that use StateAndDepth

Package	Description
org.ddolib.util.debug	This package contains util stuff related to the debug mode.

Uses of StateAndDepth in org.ddolib.util.debug

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

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