A JUnit TestCase for the JaCoPproblem class. More...

Inheritance diagram for frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >:

Public Member Functions
	JaCoPproblemTest (String testMethod, String constraint, boolean maximize, int min, int max, Class< V > valuationClass, AbstractDCOPsolver< AddableInteger, V, ? extends Solution< AddableInteger, V > > solver, boolean complete, boolean publicVars, boolean privateConstraints)
	Constructor.
void	test_Stretch () throws Exception
	Test method for DecomposedConstraints of constructor signature (int[], int[], int[], IntVar[]).
void	test_Sum () throws Exception
	Test method for the SumInt and SumBool constraints.
void	test_LinearInt () throws Exception
	Test method for the LinearInt constraints.
void	test_IntVar_int () throws Exception
	Test method for Constraints of constructor signature (IntVar, int).
void	test_IntVarArray_int_int () throws Exception
	Test method for Constraints of constructor signature (IntVar[], int, int).
void	test_IntVarArray_int_int_int () throws Exception
	Test method for Constraints of constructor signature (IntVar[], int, int, int).
void	test_IntVar_IntDomain () throws Exception
	Test method for Constraints of constructor signature (IntVar, IntDomain).
void	test_IntVar_IntVar () throws Exception
	Test method for Constraints of constructor signature (IntVar, IntVar).
void	test_IntVar_int_IntVar () throws Exception
	Test method for Constraints of constructor signature (IntVar, int, IntVar).
void	test_IntVar_IntVar_int () throws Exception
	Test method for Constraints of constructor signature (IntVar, IntVar, int).
void	test_IntVar_IntVar_IntVar () throws Exception
	Test method for Constraints of constructor signature (IntVar, IntVar, IntVar).
void	test_IntVar_intArray_IntVar_int () throws Exception
	Test method for Constraints of constructor signature (IntVar, int[], IntVar, int).
void	test_IntVar_IntVarArray () throws Exception
	Test method for Constraints of constructor signature (IntVar, IntVar[]).
void	test_IntVar_IntVarArray_IntVar_int () throws Exception
	Test method for Constraints of constructor signature (IntVar, IntVar[], IntVar, int).
void	test_IntVarArray () throws Exception
	Test method for Constraints of constructor signature (IntVar[]).
void	test_IntVarArray_IntVar () throws Exception
	Test method for Constraints of constructor signature (IntVar[], IntVar).
void	test_IntVarArray_IntVar_Decomposed () throws Exception
	Test method for DecomposedConstraints of constructor signature (IntVar[], IntVar).
void	test_SoftAlldifferent () throws Exception
	Test method for the SoftAlldifferent DecomposedConstraint.
void	test_IntVarArray_intArray_IntVar () throws Exception
	Test method for Constraints of constructor signature (IntVar[], int[], IntVar).
void	test_Linear () throws Exception
	Test method for the Linear constraint.
void	test_IntVarArray_intArray () throws Exception
	Test method for Constraints of constructor signature (IntVar[], int[]).
void	test_IntVarArray_intArray_intArray_intArray () throws Exception
	Test method for Constraints of constructor signature (IntVar[], int[], int[], int[]).
void	test_IntVarArray_intArrayArray () throws Exception
	Test method for Constraints of constructor signature (IntVar[], int[][]).
void	test_IntVarArray_IntVarArray () throws Exception
	Test method for constraints wiht signature (IntVar[], IntVar[]).
void	test_GCC () throws Exception
	Test method for GCC constraints.
void	test_IntVarArray_IntVarArray_IntVar () throws Exception
	Test method for Constraints of constructor signature (IntVar[], IntVar[], IntVar).
void	test_IntVarArray_IntVarArray_intArray () throws Exception
	Test method for Constraints of constructor signature (IntVar[], IntVar[], int[]).
void	test_IntVarArray_IntVar_int () throws Exception
	Test method for Constraints of constructor signature (IntVar[], IntVar, int).
void	test_IntVarArray_IntVar_IntVar () throws Exception
	Test method for Constraints of constructor signature (IntVar[], IntVar, IntVar).
void	test_IntVarArray_IntervalDomain_IntVar () throws Exception
	Test method for Constraints of constructor signature (IntVar[], IntervalDomain, IntVar).
void	test_IntVarArray_IntervalDomain_int_int_int () throws Exception
	Test method for DecomposedConstraint of constructor signature (IntVar[], IntervalDomain, int, int, int).
void	test_IntVarArray_IntVarArray_IntVarArray_IntVar () throws Exception
	Test method for Constraints of constructor signature (IntVar[], IntVar[], IntVar[], IntVar).
void	test_CumulativeOptional () throws Exception
	Test method for Constraints of constructor signature (IntVar[], IntVar[], IntVar[], IntVar, IntVar[]).
void	test_CumulativeUnary () throws Exception
	Test method for the CumulativeUnary constraint.
void	test_CumulativeUnaryOptional () throws Exception
	Test method for the CumulativeUnaryOptional constraint.
void	test_SoftGCC () throws Exception
	Test method for Constraints of constructor signature (IntVar[], IntVar[], IntVar[], IntVar, ViolationMeasure).
void	test_NetworkFlow () throws Exception
	Test method for NetworkFlow Constraints.
void	test_IntVarArray_IntVarArray_IntVarArray_IntVarArray () throws Exception
	Test method for Constraints of constructor signature (IntVar[], IntVar[], IntVar[], IntVar[]).
void	test_IntVarArray_IntVarArray_IntVarArray_IntVarArray_Decomposed () throws Exception
	Test method for DecomposedConstraints of constructor signature (IntVar[], IntVar[], IntVar[], IntVar[]).
void	test_DisjointConditional () throws Exception
	Test method for Constraints of constructor signature (IntVar[], IntVar[], IntVar[], IntVar[], ArrayList<ArrayList<Integer>>, ArrayList<?
void	test_IntVarArrayArray () throws Exception
	Test method for DecomposedConstraints of constructor signature (IntVar[][]).
void	test_Geost () throws Exception
	Test method for the Geost constraint.
void	test_Knapsack () throws Exception
	Test method for the Knapsack constraint.
void	test_Not () throws Exception
	Test method for the Not constraint.
void	test_PrimitiveConstraint_IntVar () throws Exception
	Test method for constraints with constructor signature (PrimitiveConstraint, IntVar).
void	test_IntVar_PrimitiveConstraint () throws Exception
	Test method for constraints with constructor signature (IntVar, PrimitiveConstraint).
void	test_IntVarArray_PrimitiveConstraintArray () throws Exception
	Test method for constraints with constructor signature (IntVar[], PrimitiveConstraint[]).
void	test_PrimitiveConstraint_PrimitiveConstraint () throws Exception
	Test method for constraints with constructor signature (PrimitiveConstraint, PrimitiveConstraint).
void	test_PrimitiveConstraint_PrimitiveConstraint_PrimitiveConstraint () throws Exception
	Test method for constraints with constructor signature (PrimitiveConstraint, PrimitiveConstraint, PrimitiveConstraint).
void	test_Regular () throws Exception
	Test method for the Regular constraint.
void	test_Arithmetic () throws Exception
	Test method for the Arithmetic constraint.
void	test_ValuePrecede () throws Exception
	Test method for the ValuePreced constraint.

Static Public Member Functions
static void	addTests (TestSuite suite, String testMethod, String constraint, boolean maximize)
	Adds 1 test per algorithm to the input test suite.
static void	addTests (TestSuite suite, String testMethod, String constraint, boolean maximize, int min, int max)
	Adds 1 test per algorithm to the input test suite.
static void	addTests (TestSuite suite, String testMethod, String constraint, boolean maximize, int min, int max, boolean discsp)
	Adds 1 test per algorithm to the input test suite.
static TestSuite	suite ()

Protected Member Functions
void	setUp () throws Exception

Private Member Functions
void	solve ()
	Solves the problem with various algorithms.
IntVarCloneable	newIntVar ()
IntVarCloneable	newIntVar (int min, int max)
IntVarCloneable[]	newIntVarArray (final int size)
	Constructs an array of new IntVars.
IntVarCloneable[]	newIntVarArray (final int size, int min, int max)
	Constructs an array of new IntVars.

Private Attributes
String	constName
	The name of the constraint class.
Class<? extends DecomposedConstraintCloneableInterface >	constClass
	The class of the constraint.
final Class< V >	valuationClass
	The class used for valuations.
JaCoPproblem< V >	problem
	The DCOP problem instance.
final AbstractDCOPsolver< AddableInteger, V, ? extends Solution< AddableInteger, V > >	solver
	The solver.
final boolean	complete
	Whether the algorithm is complete and should be tested for optimality.
StoreCloneable	store
	The JaCoP store used to define the variables.
int	varID
	Used to name variables.
final boolean	maximize
	Whether to test on a maximization or a minimization problem.
final int	min
	The minimum variable domain assignment.
final int	max
	The maximum variable domain assignment.
final boolean	publicVars
	Whether the variables in the problem should be public.
final boolean	privateConstraints
	Whether each constraint should be owned by a specific agent (MPC mode).

Detailed Description

A JUnit TestCase for the JaCoPproblem class.

Author: Thomas Leaute

Parameters

<V>	the class used for valuations

Constructor & Destructor Documentation

◆ JaCoPproblemTest()

frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.JaCoPproblemTest	(	String	testMethod,
		String	constraint,
		boolean	maximize,
		int	min,
		int	max,
		Class< V >	valuationClass,
		AbstractDCOPsolver< AddableInteger, V, ? extends Solution< AddableInteger, V > >	solver,
		boolean	complete,
		boolean	publicVars,
		boolean	privateConstraints )

Constructor.

Parameters

testMethod	the name of the test method
constraint	the class of the JaCoP constraint
maximize	whether to test on a maximization or a minimization problem
min	the minimum variable domain assignment
max	the maximum variable domain assignment
valuationClass	the class used for valuations
solver	the solver
complete	whether the algorithm is complete
publicVars	whether the variables should be public
privateConstraints	whether each constraint should be owned by a specific agent (MPC mode)

References complete, max, maximize, min, privateConstraints, publicVars, solver, and valuationClass.

Referenced by addTests().

Member Function Documentation

◆ addTests() [1/3]

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.addTests	(	TestSuite	suite,
		String	testMethod,
		String	constraint,
		boolean	maximize )

static

Adds 1 test per algorithm to the input test suite.

Parameters

suite	the test suite
testMethod	the name of the test method
constraint	the class of the JaCoP constraint
maximize	whether to test on a maximization or a minimization problem

References addTests(), maximize, and suite().

Referenced by addTests(), addTests(), and suite().

Here is the call graph for this function:

◆ addTests() [2/3]

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.addTests	(	TestSuite	suite,
		String	testMethod,
		String	constraint,
		boolean	maximize,
		int	min,
		int	max )

static

Adds 1 test per algorithm to the input test suite.

Parameters

suite	the test suite
testMethod	the name of the test method
constraint	the class of the JaCoP constraint
maximize	whether to test on a maximization or a minimization problem
min	the minimum variable domain assignment
max	the maximum variable domain assignment

References addTests(), max, maximize, min, and suite().

Here is the call graph for this function:

◆ addTests() [3/3]

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.addTests	(	TestSuite	suite,
		String	testMethod,
		String	constraint,
		boolean	maximize,
		int	min,
		int	max,
		boolean	discsp )

static

Adds 1 test per algorithm to the input test suite.

Parameters

suite	the test suite
testMethod	the name of the test method
constraint	the class of the JaCoP constraint
maximize	whether to test on a maximization or a minimization problem
min	the minimum variable domain assignment
max	the maximum variable domain assignment
discsp	if true, the problem is a pure DisCSP

References JaCoPproblemTest(), max, maximize, min, frodo2.algorithms.dpop.privacy.P2_DPOPsolver< V extends Addable< V >, U extends Addable >.setInfinity(), and suite().

Here is the call graph for this function:

◆ newIntVar() [1/2]

IntVarCloneable frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.newIntVar ( )

private

Returns: a JaCoP variable

References newIntVar().

Referenced by newIntVar(), test_Arithmetic(), test_CumulativeOptional(), test_CumulativeUnary(), test_CumulativeUnaryOptional(), test_DisjointConditional(), test_Geost(), test_IntVar_int(), test_IntVar_int_IntVar(), test_IntVar_intArray_IntVar_int(), test_IntVar_IntDomain(), test_IntVar_IntVar(), test_IntVar_IntVar_int(), test_IntVar_IntVar_IntVar(), test_IntVar_IntVarArray(), test_IntVar_IntVarArray_IntVar_int(), test_IntVar_PrimitiveConstraint(), test_IntVarArray_intArray_IntVar(), test_IntVarArray_IntervalDomain_IntVar(), test_IntVarArray_IntVar(), test_IntVarArray_IntVar_Decomposed(), test_IntVarArray_IntVar_int(), test_IntVarArray_IntVar_IntVar(), test_IntVarArray_IntVarArray_IntVar(), test_IntVarArray_IntVarArray_IntVarArray_IntVar(), test_Knapsack(), test_NetworkFlow(), test_Not(), test_PrimitiveConstraint_IntVar(), test_PrimitiveConstraint_PrimitiveConstraint(), test_PrimitiveConstraint_PrimitiveConstraint_PrimitiveConstraint(), test_SoftAlldifferent(), test_SoftGCC(), and test_Sum().

Here is the call graph for this function:

◆ newIntVar() [2/2]

IntVarCloneable frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.newIntVar	(	int	min,
		int	max )

private

Parameters

min	the minimum assignment
max	the maximum assignment

Returns: a JaCoP variable

Todo: All variables don't need to be owned by agents; some can be auxiliary variables that are hidden inside the spaces

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addVariable(), max, and min.

Here is the call graph for this function:

◆ newIntVarArray() [1/2]

IntVarCloneable[] frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.newIntVarArray ( final int size )

private

Constructs an array of new IntVars.

Parameters

size	the size of the array

Returns: the array

References newIntVarArray().

Here is the call graph for this function:

◆ newIntVarArray() [2/2]

IntVarCloneable[] frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.newIntVarArray	(	final int	size,
		int	min,
		int	max )

private

Constructs an array of new IntVars.

Parameters

size	the size of the array
min	the minimum variable domain assignment
max	the maximum variable domain assignment

Returns: the array

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addVariable(), max, and min.

Here is the call graph for this function:

◆ setUp()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.setUp ( ) throws Exception

protected

See also: junit.framework.TestCase#setUp()

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.setUtilClass().

Here is the call graph for this function:

◆ solve()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.solve ( )

private

Solves the problem with various algorithms.

Todo: Search for all solutions using JaCoP to check that DPOP outputs the optimal

Here is the call graph for this function:

◆ suite()

TestSuite frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.suite ( )

static

Returns: the test suite

Bug: Throws IndexOutOfBoundsException https://github.com/radsz/jacop/issues/69

Bug: Throws "non-optimal arcs" asserts https://github.com/radsz/jacop/issues/47

Bug: Bug in JaCoP: https://github.com/radsz/jacop/issues/64

Bug: MGM-2 rarely hits inf - inf

References addTests(), org.jacop.constraints.CumulativeCloneable.CumulativeCloneable(), and suite().

Referenced by addTests(), addTests(), addTests(), frodo2.solutionSpaces.JaCoP.tests.AllTestsJaCoP.suite(), and suite().

Here is the call graph for this function:

◆ test_Arithmetic()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_Arithmetic ( ) throws Exception

Test method for the Arithmetic constraint.

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addDecompConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_CumulativeOptional()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_CumulativeOptional ( ) throws Exception

Test method for Constraints of constructor signature (IntVar[], IntVar[], IntVar[], IntVar, IntVar[]).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_CumulativeUnary()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_CumulativeUnary ( ) throws Exception

Test method for the CumulativeUnary constraint.

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_CumulativeUnaryOptional()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_CumulativeUnaryOptional ( ) throws Exception

Test method for the CumulativeUnaryOptional constraint.

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_DisjointConditional()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_DisjointConditional ( ) throws Exception

Test method for Constraints of constructor signature (IntVar[], IntVar[], IntVar[], IntVar[], ArrayList<ArrayList<Integer>>, ArrayList<?

extends IntVar>)

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_GCC()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_GCC ( ) throws Exception

Test method for GCC constraints.

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_Geost()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_Geost ( ) throws Exception

Test method for the Geost constraint.

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVar_int()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVar_int ( ) throws Exception

Test method for Constraints of constructor signature (IntVar, int).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), and solve().

Here is the call graph for this function:

◆ test_IntVar_int_IntVar()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVar_int_IntVar ( ) throws Exception

Test method for Constraints of constructor signature (IntVar, int, IntVar).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), and solve().

Here is the call graph for this function:

◆ test_IntVar_intArray_IntVar_int()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVar_intArray_IntVar_int ( ) throws Exception

Test method for Constraints of constructor signature (IntVar, int[], IntVar, int).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), and solve().

Here is the call graph for this function:

◆ test_IntVar_IntDomain()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVar_IntDomain ( ) throws Exception

Test method for Constraints of constructor signature (IntVar, IntDomain).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), and solve().

Here is the call graph for this function:

◆ test_IntVar_IntVar()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVar_IntVar ( ) throws Exception

Test method for Constraints of constructor signature (IntVar, IntVar).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), and solve().

Here is the call graph for this function:

◆ test_IntVar_IntVar_int()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVar_IntVar_int ( ) throws Exception

Test method for Constraints of constructor signature (IntVar, IntVar, int).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), and solve().

Here is the call graph for this function:

◆ test_IntVar_IntVar_IntVar()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVar_IntVar_IntVar ( ) throws Exception

Test method for Constraints of constructor signature (IntVar, IntVar, IntVar).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), and solve().

Here is the call graph for this function:

◆ test_IntVar_IntVarArray()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVar_IntVarArray ( ) throws Exception

Test method for Constraints of constructor signature (IntVar, IntVar[]).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVar_IntVarArray_IntVar_int()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVar_IntVarArray_IntVar_int ( ) throws Exception

Test method for Constraints of constructor signature (IntVar, IntVar[], IntVar, int).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVar_PrimitiveConstraint()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVar_PrimitiveConstraint ( ) throws Exception

Test method for constraints with constructor signature (IntVar, PrimitiveConstraint).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray ( ) throws Exception

Test method for Constraints of constructor signature (IntVar[]).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_int_int()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_int_int ( ) throws Exception

Test method for Constraints of constructor signature (IntVar[], int, int).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_int_int_int()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_int_int_int ( ) throws Exception

Test method for Constraints of constructor signature (IntVar[], int, int, int).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_intArray()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_intArray ( ) throws Exception

Test method for Constraints of constructor signature (IntVar[], int[]).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_intArray_intArray_intArray()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_intArray_intArray_intArray ( ) throws Exception

Test method for Constraints of constructor signature (IntVar[], int[], int[], int[]).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_intArray_IntVar()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_intArray_IntVar ( ) throws Exception

Test method for Constraints of constructor signature (IntVar[], int[], IntVar).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_intArrayArray()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_intArrayArray ( ) throws Exception

Test method for Constraints of constructor signature (IntVar[], int[][]).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_IntervalDomain_int_int_int()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_IntervalDomain_int_int_int ( ) throws Exception

Test method for DecomposedConstraint of constructor signature (IntVar[], IntervalDomain, int, int, int).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addDecompConstraint(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_IntervalDomain_IntVar()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_IntervalDomain_IntVar ( ) throws Exception

Test method for Constraints of constructor signature (IntVar[], IntervalDomain, IntVar).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_IntVar()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_IntVar ( ) throws Exception

Test method for Constraints of constructor signature (IntVar[], IntVar).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_IntVar_Decomposed()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_IntVar_Decomposed ( ) throws Exception

Test method for DecomposedConstraints of constructor signature (IntVar[], IntVar).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addDecompConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_IntVar_int()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_IntVar_int ( ) throws Exception

Test method for Constraints of constructor signature (IntVar[], IntVar, int).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_IntVar_IntVar()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_IntVar_IntVar ( ) throws Exception

Test method for Constraints of constructor signature (IntVar[], IntVar, IntVar).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_IntVarArray()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_IntVarArray ( ) throws Exception

Test method for constraints wiht signature (IntVar[], IntVar[]).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_IntVarArray_intArray()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_IntVarArray_intArray ( ) throws Exception

Test method for Constraints of constructor signature (IntVar[], IntVar[], int[]).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_IntVarArray_IntVar()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_IntVarArray_IntVar ( ) throws Exception

Test method for Constraints of constructor signature (IntVar[], IntVar[], IntVar).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_IntVarArray_IntVarArray_IntVar()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_IntVarArray_IntVarArray_IntVar ( ) throws Exception

Test method for Constraints of constructor signature (IntVar[], IntVar[], IntVar[], IntVar).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_IntVarArray_IntVarArray_IntVarArray()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_IntVarArray_IntVarArray_IntVarArray ( ) throws Exception

Test method for Constraints of constructor signature (IntVar[], IntVar[], IntVar[], IntVar[]).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_IntVarArray_IntVarArray_IntVarArray_Decomposed()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_IntVarArray_IntVarArray_IntVarArray_Decomposed ( ) throws Exception

Test method for DecomposedConstraints of constructor signature (IntVar[], IntVar[], IntVar[], IntVar[]).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addDecompConstraint(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_IntVarArray_PrimitiveConstraintArray()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArray_PrimitiveConstraintArray ( ) throws Exception

Test method for constraints with constructor signature (IntVar[], PrimitiveConstraint[]).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), and solve().

Here is the call graph for this function:

◆ test_IntVarArrayArray()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_IntVarArrayArray ( ) throws Exception

Test method for DecomposedConstraints of constructor signature (IntVar[][]).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addDecompConstraint(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_Knapsack()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_Knapsack ( ) throws Exception

Test method for the Knapsack constraint.

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addSoftConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_Linear()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_Linear ( ) throws Exception

Test method for the Linear constraint.

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_LinearInt()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_LinearInt ( ) throws Exception

Test method for the LinearInt constraints.

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_NetworkFlow()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_NetworkFlow ( ) throws Exception

Test method for NetworkFlow Constraints.

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addSoftConstraint(), newIntVar(), and solve().

Here is the call graph for this function:

◆ test_Not()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_Not ( ) throws Exception

Test method for the Not constraint.

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), and solve().

Here is the call graph for this function:

◆ test_PrimitiveConstraint_IntVar()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_PrimitiveConstraint_IntVar ( ) throws Exception

Test method for constraints with constructor signature (PrimitiveConstraint, IntVar).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), and solve().

Here is the call graph for this function:

◆ test_PrimitiveConstraint_PrimitiveConstraint()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_PrimitiveConstraint_PrimitiveConstraint ( ) throws Exception

Test method for constraints with constructor signature (PrimitiveConstraint, PrimitiveConstraint).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), and solve().

Here is the call graph for this function:

◆ test_PrimitiveConstraint_PrimitiveConstraint_PrimitiveConstraint()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_PrimitiveConstraint_PrimitiveConstraint_PrimitiveConstraint ( ) throws Exception

Test method for constraints with constructor signature (PrimitiveConstraint, PrimitiveConstraint, PrimitiveConstraint).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), and solve().

Here is the call graph for this function:

◆ test_Regular()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_Regular ( ) throws Exception

Test method for the Regular constraint.

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_SoftAlldifferent()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_SoftAlldifferent ( ) throws Exception

Test method for the SoftAlldifferent DecomposedConstraint.

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addSoftDecompConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_SoftGCC()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_SoftGCC ( ) throws Exception

Test method for Constraints of constructor signature (IntVar[], IntVar[], IntVar[], IntVar, ViolationMeasure).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addSoftDecompConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_Stretch()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_Stretch ( ) throws Exception

Test method for DecomposedConstraints of constructor signature (int[], int[], int[], IntVar[]).

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addDecompConstraint(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_Sum()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_Sum ( ) throws Exception

Test method for the SumInt and SumBool constraints.

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVar(), newIntVarArray(), and solve().

Here is the call graph for this function:

◆ test_ValuePrecede()

void frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.test_ValuePrecede ( ) throws Exception

Test method for the ValuePreced constraint.

Exceptions

Exception if something goes wrong

References frodo2.solutionSpaces.JaCoP.JaCoPproblem< V extends Addable< V > >.addConstraint(), newIntVarArray(), and solve().

Here is the call graph for this function:

Member Data Documentation

◆ complete

final boolean frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.complete

private

Whether the algorithm is complete and should be tested for optimality.

Referenced by JaCoPproblemTest().

◆ constClass

Class<? extends DecomposedConstraintCloneableInterface> frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.constClass

private

The class of the constraint.

◆ constName

String frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.constName

private

The name of the constraint class.

◆ max

final int frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.max

private

The maximum variable domain assignment.

Referenced by addTests(), addTests(), JaCoPproblemTest(), newIntVar(), and newIntVarArray().

◆ maximize

final boolean frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.maximize

private

Whether to test on a maximization or a minimization problem.

Referenced by addTests(), addTests(), addTests(), and JaCoPproblemTest().

◆ min

final int frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.min

private

The minimum variable domain assignment.

Referenced by addTests(), addTests(), JaCoPproblemTest(), newIntVar(), and newIntVarArray().

◆ privateConstraints

final boolean frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.privateConstraints

private

Whether each constraint should be owned by a specific agent (MPC mode).

Referenced by JaCoPproblemTest().

◆ problem

JaCoPproblem<V> frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.problem

private

The DCOP problem instance.

◆ publicVars

final boolean frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.publicVars

private

Whether the variables in the problem should be public.

Referenced by JaCoPproblemTest().

◆ solver

final AbstractDCOPsolver<AddableInteger, V, ? extends Solution<AddableInteger, V> > frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.solver

private

The solver.

Referenced by JaCoPproblemTest(), and solve().

◆ store

StoreCloneable frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.store

private

The JaCoP store used to define the variables.

◆ valuationClass

final Class<V> frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.valuationClass

private

The class used for valuations.

Referenced by JaCoPproblemTest().

◆ varID

int frodo2.solutionSpaces.JaCoP.tests.JaCoPproblemTest< V extends Addable< V > >.varID

private

Used to name variables.

The documentation for this class was generated from the following file:

src/frodo2/solutionSpaces/JaCoP/tests/JaCoPproblemTest.java

Public Member Functions

Static Public Member Functions

Protected Member Functions

Private Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ JaCoPproblemTest()

Member Function Documentation

◆ addTests() [1/3]

◆ addTests() [2/3]

◆ addTests() [3/3]

◆ newIntVar() [1/2]

◆ newIntVar() [2/2]

◆ newIntVarArray() [1/2]

◆ newIntVarArray() [2/2]

◆ setUp()

◆ solve()

◆ suite()

◆ test_Arithmetic()

◆ test_CumulativeOptional()

◆ test_CumulativeUnary()

◆ test_CumulativeUnaryOptional()

◆ test_DisjointConditional()

◆ test_GCC()

◆ test_Geost()

◆ test_IntVar_int()

◆ test_IntVar_int_IntVar()

◆ test_IntVar_intArray_IntVar_int()

◆ test_IntVar_IntDomain()

◆ test_IntVar_IntVar()

◆ test_IntVar_IntVar_int()

◆ test_IntVar_IntVar_IntVar()

◆ test_IntVar_IntVarArray()

◆ test_IntVar_IntVarArray_IntVar_int()

◆ test_IntVar_PrimitiveConstraint()

◆ test_IntVarArray()

◆ test_IntVarArray_int_int()

◆ test_IntVarArray_int_int_int()

◆ test_IntVarArray_intArray()

◆ test_IntVarArray_intArray_intArray_intArray()

◆ test_IntVarArray_intArray_IntVar()

◆ test_IntVarArray_intArrayArray()

◆ test_IntVarArray_IntervalDomain_int_int_int()

◆ test_IntVarArray_IntervalDomain_IntVar()

◆ test_IntVarArray_IntVar()

◆ test_IntVarArray_IntVar_Decomposed()

◆ test_IntVarArray_IntVar_int()

◆ test_IntVarArray_IntVar_IntVar()

◆ test_IntVarArray_IntVarArray()

◆ test_IntVarArray_IntVarArray_intArray()

◆ test_IntVarArray_IntVarArray_IntVar()

◆ test_IntVarArray_IntVarArray_IntVarArray_IntVar()

◆ test_IntVarArray_IntVarArray_IntVarArray_IntVarArray()

◆ test_IntVarArray_IntVarArray_IntVarArray_IntVarArray_Decomposed()

◆ test_IntVarArray_PrimitiveConstraintArray()

◆ test_IntVarArrayArray()

◆ test_Knapsack()

◆ test_Linear()

◆ test_LinearInt()

◆ test_NetworkFlow()

◆ test_Not()

◆ test_PrimitiveConstraint_IntVar()

◆ test_PrimitiveConstraint_PrimitiveConstraint()

◆ test_PrimitiveConstraint_PrimitiveConstraint_PrimitiveConstraint()

◆ test_Regular()

◆ test_SoftAlldifferent()

◆ test_SoftGCC()

◆ test_Stretch()

◆ test_Sum()

◆ test_ValuePrecede()

Member Data Documentation

◆ complete

◆ constClass

◆ constName

◆ max

◆ maximize

◆ min

◆ privateConstraints

◆ problem