Package org.ddolib.ddo.core.solver

Class RestrictionSolver<T>

java.lang.Object

org.ddolib.ddo.core.solver.RestrictionSolver<T>

Type Parameters:

T - The type representing a problem state.

public final class RestrictionSolver<T>
extends Object

A solver that compile one relaxed MDD from the root node.

See Also:

• ExactSolver
• DdoModel
• Problem
• Relaxation
• StateRanking
• VariableHeuristic
• WidthHeuristic
• FastLowerBound
• DominanceChecker

Constructor Summary

Constructors

Constructor	Description
RestrictionSolver(DdoModel<T> model)	Creates a fully qualified instance.

Method Summary

Modifier and Type	Method	Description
Optional<Set<Decision>>	bestSolution()
Optional<Double>	bestValue()
Solution	minimize(Predicate<SearchStatistics> limit, BiConsumer<int[],SearchStatistics> onSolution)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

RestrictionSolver

public RestrictionSolver(DdoModel<T> model)

Creates a fully qualified instance. The parameters of this solver are given via a DdoModel

Parameters:

model - All the parameters needed to configure the solver.

Method Details

minimize

public Solution minimize(Predicate<SearchStatistics> limit,
 BiConsumer<int[],SearchStatistics> onSolution)

bestValue

public Optional<Double> bestValue()

bestSolution

public Optional<Set<Decision>> bestSolution()