Uses of Record Class
org.ddolib.ddo.core.Decision

Packages that use Decision

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.common.solver	This package contains interfaces that must be extended to implements solvers.
org.ddolib.ddo.core	This package contains the core classes and interfaces that are central to the implementation of an optimization solver based on branch and bound with decision diagrams.
org.ddolib.ddo.core.mdd	This package contains the classes that are used to implement a restricted/relaxed MDD.
org.ddolib.ddo.core.solver	This package contains solvers using DDO algorithm.
org.ddolib.examples.alp	This package implements the acs, astar and ddo models for the Aircraft Landing Problem (ALP).
org.ddolib.examples.boundedknapsack	This package implements the acs, astar and ddo models for the Bounded Knapsack Problem (BKS).
org.ddolib.examples.gruler	This package implements the acs, astar and ddo models for the Golomb Rule Problem (GRP).
org.ddolib.examples.knapsack	This package implements the acs, astar and ddo models for the Knapsack Problem (KS).
org.ddolib.examples.lcs	This package implements the acs, astar and ddo models for the Longest Common Subsequence (LCS) Problem.
org.ddolib.examples.max2sat	This package implements the acs, astar and ddo models for the Maximum 2-Satisfiability Problem (MAX2SAT) Problem.
org.ddolib.examples.maximumcoverage
org.ddolib.examples.mcp	This package implements the acs, astar and ddo models for the Maximum Cut Problem (MCP).
org.ddolib.examples.misp	This package implements the acs, astar and ddo models for the Maximum Independent Set Problem (MISP).
org.ddolib.examples.mks	The Multidimensional Knapsack Problem (MKP) is a generalization of the KP to multiple capacity constraints: $n$ items and $m$ dimensions of the knapsack are given, each dimension with capacity bound $(C_1,\ldots ,C_m)$.
org.ddolib.examples.msct	This package implements the acs, astar and ddo models for the Minimum Sum Completion Time (MSCT).
org.ddolib.examples.pdp	This package implements the acs, astar and ddo models for the Single Vehicle Pick-up and Delivery Problem (PDP).
org.ddolib.examples.pigmentscheduling	This package implements the acs, astar and ddo models for the Pigment Sequencing Problem (PSP).
org.ddolib.examples.smic	This package implements the acs, astar and ddo models for the Single Machine with Inventory Constraint (SMIC).
org.ddolib.examples.srflp	This package implements the acs, astar and ddo models for the Single Row Facility Layout Problem (SRFLP).
org.ddolib.examples.talentscheduling	This package implements the acs, astar and ddo models for the Talent Scheduling problem (talentSched).
org.ddolib.examples.tsp	This package implements the acs, astar and ddo models for the Traveling Salesman Problem (TSP).
org.ddolib.examples.tsptw	This package implements the acs, astar and ddo models for the Traveling Salesman Problem with Time Window (TSPTW).
org.ddolib.lns.core.solver	This package implement LNS solver.
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	This package contains the classes implementing utils user in the solver
org.ddolib.util.debug	This package contains util stuff related to the debug mode.

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

Methods in org.ddolib.acs.core.solver that return types with arguments of type Decision

Modifier and Type	Method	Description
Optional<Set<Decision>>	ACSSolver.bestSolution()	Returns the set of decisions corresponding to the best solution found, if any.

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

Methods in org.ddolib.astar.core.solver that return types with arguments of type Decision

Modifier and Type	Method	Description
Optional<Set<Decision>>	AStarSolver.bestSolution()

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

Methods in org.ddolib.awastar.core.solver that return types with arguments of type Decision

Modifier and Type	Method	Description
Optional<Set<Decision>>	AwAstarSolver.bestSolution()

Uses of Decision in org.ddolib.common.solver

Methods in org.ddolib.common.solver that return types with arguments of type Decision

Modifier and Type	Method	Description
Optional<Set<Decision>>	Solver.bestSolution()	Returns the set of decisions that lead to the best solution found by this solver, if any.

Method parameters in org.ddolib.common.solver with type arguments of type Decision

Modifier and Type	Method	Description
default int[]	Solver.constructSolution(Set<Decision> decisions)	Constructs an array representing the values assigned to each variable from a set of decisions.

Constructor parameters in org.ddolib.common.solver with type arguments of type Decision

Modifier	Constructor	Description
	Solution(Optional<Set<Decision>> decisions, SearchStatistics statistics)	Constructs a solution given a set of decision and SearchStatistics on this set.

Uses of Decision in org.ddolib.ddo.core

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

Modifier and Type	Method	Description
Set<Decision>	SubProblem.getPath()	Returns the path (partial assignment) of decisions that led to this subproblem.

Constructor parameters in org.ddolib.ddo.core with type arguments of type Decision

Modifier	Constructor	Description
	SubProblem(T state, double value, double lb, Set<Decision> path)	Constructs a new SubProblem instance with its associated state, accumulated value, lower bound, and decision path.

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

Fields in org.ddolib.ddo.core.mdd declared as Decision

Modifier and Type	Field	Description
final Decision	Edge.decision	The decision associated with this edge.

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

Modifier and Type	Method	Description
Optional<Set<Decision>>	DecisionDiagram.bestSolution()	Returns the sequence of decisions leading to the best solution represented in this DD.
Optional<Set<Decision>>	LinkedDecisionDiagram.bestSolution()	Returns the set of decisions representing the best solution found in this MDD.

Method parameters in org.ddolib.ddo.core.mdd with type arguments of type Decision

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

Constructors in org.ddolib.ddo.core.mdd with parameters of type Decision

Modifier	Constructor	Description
	Edge(Node src, Decision d, double w)	Creates a new edge connecting a source node with a decision and a weight.

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

Methods in org.ddolib.ddo.core.solver that return types with arguments of type Decision

Modifier and Type	Method	Description
Optional<Set<Decision>>	ExactSolver.bestSolution()	Returns the best solution found so far as a set of decisions.
Optional<Set<Decision>>	RelaxationSolver.bestSolution()
Optional<Set<Decision>>	RestrictionSolver.bestSolution()
Optional<Set<Decision>>	SequentialSolver.bestSolution()

Uses of Decision in org.ddolib.examples.alp

Methods in org.ddolib.examples.alp with parameters of type Decision

Modifier and Type	Method	Description
double	ALPRelax.relaxEdge(ALPState from, ALPState to, ALPState merged, Decision d, double cost)	Returns the relaxed cost of a transition (edge) between states.
ALPState	ALPProblem.transition(ALPState state, Decision decision)
double	ALPProblem.transitionCost(ALPState state, Decision decision)

Uses of Decision in org.ddolib.examples.boundedknapsack

Methods in org.ddolib.examples.boundedknapsack with parameters of type Decision

Modifier and Type	Method	Description
double	BKSRelax.relaxEdge(Integer from, Integer to, Integer merged, Decision d, double cost)	Optionally relaxes the edge cost when transitioning from a state to a merged state.
Integer	BKSProblem.transition(Integer state, Decision decision)	Computes the next state after making a decision on an item.
double	BKSProblem.transitionCost(Integer state, Decision decision)	Computes the transition cost associated with a decision.

Uses of Decision in org.ddolib.examples.gruler

Methods in org.ddolib.examples.gruler with parameters of type Decision

Modifier and Type	Method	Description
double	GRRelax.relaxEdge(GRState from, GRState to, GRState merged, Decision d, double cost)	Computes the relaxed cost of transitioning between two states in the relaxed problem.
GRState	GRProblem.transition(GRState state, Decision decision)	Computes the next state resulting from applying a decision (adding a new mark).
double	GRProblem.transitionCost(GRState state, Decision decision)	Computes the cost associated with a transition between states.

Uses of Decision in org.ddolib.examples.knapsack

Methods in org.ddolib.examples.knapsack with parameters of type Decision

Modifier and Type	Method	Description
double	KSRelax.relaxEdge(Integer from, Integer to, Integer merged, Decision d, double cost)	Relaxes the cost of an edge between states in the decision diagram.
Integer	KSProblem.transition(Integer state, Decision decision)
double	KSProblem.transitionCost(Integer state, Decision decision)

Uses of Decision in org.ddolib.examples.lcs

Methods in org.ddolib.examples.lcs with parameters of type Decision

Modifier and Type	Method	Description
double	LCSRelax.relaxEdge(LCSState from, LCSState to, LCSState merged, Decision d, double cost)	Relaxes the cost of a transition between two LCS states.
LCSState	LCSProblem.transition(LCSState state, Decision decision)	Computes the next state resulting from applying a decision at the current state.
double	LCSProblem.transitionCost(LCSState state, Decision decision)	Computes the transition cost of a decision from the current state.

Uses of Decision in org.ddolib.examples.max2sat

Methods in org.ddolib.examples.max2sat with parameters of type Decision

Modifier and Type	Method	Description
double	Max2SatRelax.relaxEdge(Max2SatState from, Max2SatState to, Max2SatState merged, Decision d, double cost)	Adjusts the cost of transitioning from one state to another in the relaxed model.
Max2SatState	Max2SatProblem.transition(Max2SatState state, Decision decision)
double	Max2SatProblem.transitionCost(Max2SatState state, Decision decision)

Uses of Decision in org.ddolib.examples.maximumcoverage

Methods in org.ddolib.examples.maximumcoverage with parameters of type Decision

Modifier and Type	Method	Description
double	MaxCoverRelax.relaxEdge(MaxCoverState from, MaxCoverState to, MaxCoverState merged, Decision d, double cost)	Computes the relaxed cost of a transition between states.
MaxCoverState	MaxCoverProblem.transition(MaxCoverState state, Decision decision)	Applies a decision to a state to produce a new state.
double	MaxCoverProblem.transitionCost(MaxCoverState state, Decision decision)	Returns the cost of applying a decision to a state.

Uses of Decision in org.ddolib.examples.mcp

Methods in org.ddolib.examples.mcp with parameters of type Decision

Modifier and Type	Method	Description
double	MCPRelax.relaxEdge(MCPState from, MCPState to, MCPState merged, Decision d, double cost)	Computes the relaxed transition cost from one state to another given a merged state.
MCPState	MCPProblem.transition(MCPState state, Decision decision)
double	MCPProblem.transitionCost(MCPState state, Decision decision)

Uses of Decision in org.ddolib.examples.misp

Methods in org.ddolib.examples.misp with parameters of type Decision

Modifier and Type	Method	Description
double	MispRelax.relaxEdge(BitSet from, BitSet to, BitSet merged, Decision d, double cost)	Adjusts the transition cost when moving from one state to another in the relaxed space.
BitSet	MispProblem.transition(BitSet state, Decision decision)
double	MispProblem.transitionCost(BitSet state, Decision decision)

Uses of Decision in org.ddolib.examples.mks

Methods in org.ddolib.examples.mks with parameters of type Decision

Modifier and Type	Method	Description
double	MKSRelax.relaxEdge(MKSState from, MKSState to, MKSState merged, Decision d, double cost)	Returns the cost of an edge in the relaxed decision diagram.
MKSState	MKSProblem.transition(MKSState state, Decision decision)	Computes the state resulting from taking a decision in the current state.
double	MKSProblem.transitionCost(MKSState state, Decision decision)	Computes the cost of taking a decision in a given state.

Uses of Decision in org.ddolib.examples.msct

Methods in org.ddolib.examples.msct with parameters of type Decision

Modifier and Type	Method	Description
double	MSCTRelax.relaxEdge(MSCTState from, MSCTState to, MSCTState merged, Decision d, double cost)	Computes the relaxed cost associated with transitioning from one state to another.
MSCTState	MSCTProblem.transition(MSCTState state, Decision decision)	Computes the next state resulting from scheduling a given job.
double	MSCTProblem.transitionCost(MSCTState state, Decision decision)	Returns the cost of scheduling a given job from the current state.

Uses of Decision in org.ddolib.examples.pdp

Methods in org.ddolib.examples.pdp with parameters of type Decision

Modifier and Type	Method	Description
PDPState	PDPProblem.transition(PDPState state, Decision decision)	Computes the next state given a current state and a decision.
double	PDPProblem.transitionCost(PDPState state, Decision decision)	Computes the cost of transitioning from a state via a decision.

Uses of Decision in org.ddolib.examples.pigmentscheduling

Methods in org.ddolib.examples.pigmentscheduling with parameters of type Decision

Modifier and Type	Method	Description
double	PSRelax.relaxEdge(PSState from, PSState to, PSState merged, Decision d, double cost)	Returns the relaxed transition cost between two PSP states.
PSState	PSProblem.transition(PSState state, Decision decision)	Applies a production decision to the current state and returns the resulting new state.
double	PSProblem.transitionCost(PSState state, Decision decision)	Computes the cost incurred by executing a given decision from the current state.

Uses of Decision in org.ddolib.examples.smic

Methods in org.ddolib.examples.smic with parameters of type Decision

Modifier and Type	Method	Description
double	SMICRelax.relaxEdge(SMICState from, SMICState to, SMICState merged, Decision d, double cost)	Relaxes the cost of an edge between two states.
SMICState	SMICProblem.transition(SMICState state, Decision decision)	Applies a decision to transition from the current state to the next.
double	SMICProblem.transitionCost(SMICState state, Decision decision)	Computes the cost associated with scheduling a job from the current state.

Uses of Decision in org.ddolib.examples.srflp

Methods in org.ddolib.examples.srflp with parameters of type Decision

Modifier and Type	Method	Description
double	SRFLPRelax.relaxEdge(SRFLPState from, SRFLPState to, SRFLPState merged, Decision d, double cost)	Relaxation of an edge cost between two states.
SRFLPState	SRFLPProblem.transition(SRFLPState state, Decision decision)
double	SRFLPProblem.transitionCost(SRFLPState state, Decision decision)

Uses of Decision in org.ddolib.examples.talentscheduling

Methods in org.ddolib.examples.talentscheduling with parameters of type Decision

Modifier and Type	Method	Description
double	TSRelax.relaxEdge(TSState from, TSState to, TSState merged, Decision d, double cost)	Returns the relaxed edge cost between two states.
TSState	TSProblem.transition(TSState state, Decision decision)
double	TSProblem.transitionCost(TSState state, Decision decision)

Uses of Decision in org.ddolib.examples.tsp

Methods in org.ddolib.examples.tsp with parameters of type Decision

Modifier and Type	Method	Description
double	TSPRelax.relaxEdge(TSPState from, TSPState to, TSPState merged, Decision d, double cost)	Relaxes the cost of a transition between states.
TSPState	TSPProblem.transition(TSPState state, Decision decision)	Computes the next state after making a decision from the current state.
double	TSPProblem.transitionCost(TSPState state, Decision decision)	Computes the transition cost of moving from the current state to the next state by visiting a given node.

Uses of Decision in org.ddolib.examples.tsptw

Methods in org.ddolib.examples.tsptw with parameters of type Decision

Modifier and Type	Method	Description
double	TSPTWRelax.relaxEdge(TSPTWState from, TSPTWState to, TSPTWState merged, Decision d, double cost)	Relaxes the cost of an edge (transition) between two states.
TSPTWState	TSPTWProblem.transition(TSPTWState state, Decision decision)
double	TSPTWProblem.transitionCost(TSPTWState state, Decision decision)

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

Methods in org.ddolib.lns.core.solver that return types with arguments of type Decision

Modifier and Type	Method	Description
Optional<Set<Decision>>	LNSSolver.bestSolution()

Uses of Decision in org.ddolib.modeling

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

Modifier and Type	Method	Description
double	Relaxation.relaxEdge(T from, T to, T merged, Decision d, double cost)	Relaxes the edge that used to go from `from` to `to` and computes the cost of the new edge going from `from` to `merged`.
T	Problem.transition(T state, Decision decision)	Applies a decision to a state, computing the next state according to the problem's transition function.
double	Problem.transitionCost(T state, Decision decision)	Computes the change in objective value resulting from applying a decision to a given state.

Uses of Decision in org.ddolib.util

Method parameters in org.ddolib.util with type arguments of type Decision

Modifier and Type	Method	Description
static Set<Integer>	SolverUtil.unassignedVars(int nbVars, Set<Decision> path)	Returns the set of variables not covered by the given set of decisions.

Uses of Decision in org.ddolib.util.debug

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

Modifier and Type	Method	Description
static <T> void	DebugUtil.checkHashCodeAndEquality(T state, Decision decision, BiFunction<T,Decision,T> transition)	Checks the consistency of a transition function by generating two states from the same origin state and decision, then verifying that they are equal and have the same hash code.

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

Modifier and Type	Method	Description
static <T> void	DebugUtil.checkHashCodeAndEquality(T state, Decision decision, BiFunction<T,Decision,T> transition)	Checks the consistency of a transition function by generating two states from the same origin state and decision, then verifying that they are equal and have the same hash code.