Java Reference

Java Reference

Public Member Functions | List of all members
CpModelTest

Detailed Description

Tests the CpSolver java interface.

Definition at line 32 of file CpModelTest.java.

Public Member Functions

void setUp ()
 
void testCpModelNewIntVar () throws Exception
 
void testCpModelNewIntervalVar () throws Exception
 
void testCpModelAddBoolOr () throws Exception
 
void testCpModelAddAtLeastOne () throws Exception
 
void testCpModelAddAtMostOne () throws Exception
 
void testCpModelAddExactlyOne () throws Exception
 
void testCpModelAddBoolAnd () throws Exception
 
void testCpModelAddBoolXor () throws Exception
 
void testCpModelAddImplication () throws Exception
 
void testCpModelAddLinear () throws Exception
 
void testLinearExprAddEqualityLiteral ()
 
void testCpModelAddMinEquality () throws Exception
 
void testCpModelAddMaxEquality () throws Exception
 
void testCpModelAddMinExprEquality () throws Exception
 
void testCpModelAddAbsEquality () throws Exception
 
void testCpModelAddCircuit () throws Exception
 
void testCpModelAddMultipleCircuit () throws Exception
 
void testCpModelAddAutomaton () throws Exception
 
void testCpModelAddNoOverlap () throws Exception
 
void testCpModelAddCumulative () throws Exception
 
void testCpModelAddNoOverlap2D () throws Exception
 
void testCpModelModelStats () throws Exception
 
void testCpModelValidateOk () throws Exception
 
void testCpModelValidateNotOk () throws Exception
 
void testCpModelExceptionVisibility () throws Exception
 
void testCpModelClearConstraint () throws Exception
 
void testCpModelMinimize () throws Exception
 
void testDomainGetter ()
 
void testCrashInPresolve ()
 
void testCrashInSolveWithAllowedAssignment ()
 
void testCrashEquality ()
 
void testLogCapture ()
 

Member Function Documentation

◆ setUp()

void setUp ( )

Definition at line 34 of file CpModelTest.java.

◆ testCpModelAddAbsEquality()

void testCpModelAddAbsEquality ( ) throws Exception

Definition at line 299 of file CpModelTest.java.

◆ testCpModelAddAtLeastOne()

void testCpModelAddAtLeastOne ( ) throws Exception

Definition at line 105 of file CpModelTest.java.

◆ testCpModelAddAtMostOne()

void testCpModelAddAtMostOne ( ) throws Exception

Definition at line 119 of file CpModelTest.java.

◆ testCpModelAddAutomaton()

void testCpModelAddAutomaton ( ) throws Exception

Definition at line 365 of file CpModelTest.java.

◆ testCpModelAddBoolAnd()

void testCpModelAddBoolAnd ( ) throws Exception

Definition at line 147 of file CpModelTest.java.

◆ testCpModelAddBoolOr()

void testCpModelAddBoolOr ( ) throws Exception

Definition at line 91 of file CpModelTest.java.

◆ testCpModelAddBoolXor()

void testCpModelAddBoolXor ( ) throws Exception

Definition at line 161 of file CpModelTest.java.

◆ testCpModelAddCircuit()

void testCpModelAddCircuit ( ) throws Exception

Definition at line 325 of file CpModelTest.java.

◆ testCpModelAddCumulative()

void testCpModelAddCumulative ( ) throws Exception

Definition at line 414 of file CpModelTest.java.

◆ testCpModelAddExactlyOne()

void testCpModelAddExactlyOne ( ) throws Exception

Definition at line 133 of file CpModelTest.java.

◆ testCpModelAddImplication()

void testCpModelAddImplication ( ) throws Exception

Definition at line 175 of file CpModelTest.java.

◆ testCpModelAddLinear()

void testCpModelAddLinear ( ) throws Exception

Definition at line 188 of file CpModelTest.java.

◆ testCpModelAddMaxEquality()

void testCpModelAddMaxEquality ( ) throws Exception

Definition at line 250 of file CpModelTest.java.

◆ testCpModelAddMinEquality()

void testCpModelAddMinEquality ( ) throws Exception

Definition at line 226 of file CpModelTest.java.

◆ testCpModelAddMinExprEquality()

void testCpModelAddMinExprEquality ( ) throws Exception

Definition at line 274 of file CpModelTest.java.

◆ testCpModelAddMultipleCircuit()

void testCpModelAddMultipleCircuit ( ) throws Exception

Definition at line 345 of file CpModelTest.java.

◆ testCpModelAddNoOverlap()

void testCpModelAddNoOverlap ( ) throws Exception

Definition at line 392 of file CpModelTest.java.

◆ testCpModelAddNoOverlap2D()

void testCpModelAddNoOverlap2D ( ) throws Exception

Definition at line 449 of file CpModelTest.java.

◆ testCpModelClearConstraint()

void testCpModelClearConstraint ( ) throws Exception

Definition at line 519 of file CpModelTest.java.

◆ testCpModelExceptionVisibility()

void testCpModelExceptionVisibility ( ) throws Exception

Definition at line 511 of file CpModelTest.java.

◆ testCpModelMinimize()

void testCpModelMinimize ( ) throws Exception

Definition at line 554 of file CpModelTest.java.

◆ testCpModelModelStats()

void testCpModelModelStats ( ) throws Exception

Definition at line 474 of file CpModelTest.java.

◆ testCpModelNewIntervalVar()

void testCpModelNewIntervalVar ( ) throws Exception

Definition at line 64 of file CpModelTest.java.

◆ testCpModelNewIntVar()

void testCpModelNewIntVar ( ) throws Exception

Definition at line 39 of file CpModelTest.java.

◆ testCpModelValidateNotOk()

void testCpModelValidateNotOk ( ) throws Exception

Definition at line 498 of file CpModelTest.java.

◆ testCpModelValidateOk()

void testCpModelValidateOk ( ) throws Exception

Definition at line 486 of file CpModelTest.java.

◆ testCrashEquality()

void testCrashEquality ( )

Definition at line 681 of file CpModelTest.java.

◆ testCrashInPresolve()

void testCrashInPresolve ( )

Definition at line 615 of file CpModelTest.java.

◆ testCrashInSolveWithAllowedAssignment()

void testCrashInSolveWithAllowedAssignment ( )

Definition at line 649 of file CpModelTest.java.

◆ testDomainGetter()

void testDomainGetter ( )

Definition at line 600 of file CpModelTest.java.

◆ testLinearExprAddEqualityLiteral()

void testLinearExprAddEqualityLiteral ( )

Definition at line 216 of file CpModelTest.java.

◆ testLogCapture()

void testLogCapture ( )

Definition at line 729 of file CpModelTest.java.

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