Package org.ddolib.util

Class SolverUtil

java.lang.Object

org.ddolib.util.SolverUtil

public final class SolverUtil
extends Object

Contains method useful to implements solvers

Constructor Summary

Constructors

Constructor	Description
SolverUtil()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

SolverUtil

public SolverUtil()

Method Details

unassignedVars

public static Set<Integer> unassignedVars(int nbVars,
 Set<Decision> path)

Returns the set of variables not covered by the given set of decisions.

Parameters:

nbVars - the number of variables in the related problem

path - a set of decision

Returns:

the set of variables not covered by the given set of decisions