DotNet Reference

.Net Reference

Classes | Public Member Functions | List of all members
ConstraintSolverTest

Detailed Description

Definition at line 21 of file ConstraintSolverTests.cs.

Public Member Functions

void IntVectorToInt64Vector ()
 
void IntVarConstructor ()
 
void ConstraintConstructor ()
 
void IntExprConstructor ()
 
void GreaterIntExprConstructor ()
 
void ConstraintAndScalar ()
 
void ConstraintAndIntVar ()
 
void ConstraintAndIntExpr ()
 
void ConstraintAndConstraint ()
 
void IntExprAndScalar ()
 
void IntExprAndIntVar ()
 
void IntExprAndIntExpr ()
 
void GreaterIntExprAndScalar ()
 
void GreaterIntExprAndIntVar ()
 
void GreaterIntExprAndGreaterIntExpr ()
 
void Downcast ()
 
void Sequence ()
 
void Demon ()
 
void MinAndMaxConstraint ()
 
void FailingConstraint ()
 
void DomainIterator ()
 
void HoleIteratorTest ()
 
void SearchLog ()
 
void SearchLogWithCallback (bool callGC)
 
void SearchLogWithObjectiveAndCallback (bool callGC)
 
void SearchLogWithIntVarAndCallback (bool callGC)
 

Member Function Documentation

◆ ConstraintAndConstraint()

void ConstraintAndConstraint ( )
inline

Definition at line 300 of file ConstraintSolverTests.cs.

◆ ConstraintAndIntExpr()

void ConstraintAndIntExpr ( )
inline

Definition at line 244 of file ConstraintSolverTests.cs.

◆ ConstraintAndIntVar()

void ConstraintAndIntVar ( )
inline

Definition at line 180 of file ConstraintSolverTests.cs.

◆ ConstraintAndScalar()

void ConstraintAndScalar ( )
inline

Definition at line 117 of file ConstraintSolverTests.cs.

◆ ConstraintConstructor()

void ConstraintConstructor ( )
inline

Definition at line 46 of file ConstraintSolverTests.cs.

◆ Demon()

void Demon ( )
inline

Definition at line 680 of file ConstraintSolverTests.cs.

◆ DomainIterator()

void DomainIterator ( )
inline

Definition at line 783 of file ConstraintSolverTests.cs.

◆ Downcast()

void Downcast ( )
inline

Definition at line 636 of file ConstraintSolverTests.cs.

◆ FailingConstraint()

void FailingConstraint ( )
inline

Definition at line 768 of file ConstraintSolverTests.cs.

◆ GreaterIntExprAndGreaterIntExpr()

void GreaterIntExprAndGreaterIntExpr ( )
inline

Definition at line 605 of file ConstraintSolverTests.cs.

◆ GreaterIntExprAndIntVar()

void GreaterIntExprAndIntVar ( )
inline

Definition at line 544 of file ConstraintSolverTests.cs.

◆ GreaterIntExprAndScalar()

void GreaterIntExprAndScalar ( )
inline

Definition at line 487 of file ConstraintSolverTests.cs.

◆ GreaterIntExprConstructor()

void GreaterIntExprConstructor ( )
inline

Definition at line 99 of file ConstraintSolverTests.cs.

◆ HoleIteratorTest()

void HoleIteratorTest ( )
inline

Definition at line 842 of file ConstraintSolverTests.cs.

◆ IntExprAndIntExpr()

void IntExprAndIntExpr ( )
inline

Definition at line 456 of file ConstraintSolverTests.cs.

◆ IntExprAndIntVar()

void IntExprAndIntVar ( )
inline

Definition at line 395 of file ConstraintSolverTests.cs.

◆ IntExprAndScalar()

void IntExprAndScalar ( )
inline

Definition at line 335 of file ConstraintSolverTests.cs.

◆ IntExprConstructor()

void IntExprConstructor ( )
inline

Definition at line 81 of file ConstraintSolverTests.cs.

◆ IntVarConstructor()

void IntVarConstructor ( )
inline

Definition at line 35 of file ConstraintSolverTests.cs.

◆ IntVectorToInt64Vector()

void IntVectorToInt64Vector ( )
inline

Definition at line 24 of file ConstraintSolverTests.cs.

◆ MinAndMaxConstraint()

void MinAndMaxConstraint ( )
inline

Definition at line 715 of file ConstraintSolverTests.cs.

◆ SearchLog()

void SearchLog ( )
inline

Definition at line 868 of file ConstraintSolverTests.cs.

◆ SearchLogWithCallback()

void SearchLogWithCallback ( bool  callGC)
inline

Definition at line 882 of file ConstraintSolverTests.cs.

◆ SearchLogWithIntVarAndCallback()

void SearchLogWithIntVarAndCallback ( bool  callGC)
inline

Definition at line 935 of file ConstraintSolverTests.cs.

◆ SearchLogWithObjectiveAndCallback()

void SearchLogWithObjectiveAndCallback ( bool  callGC)
inline

Definition at line 908 of file ConstraintSolverTests.cs.

◆ Sequence()

void Sequence ( )
inline

Definition at line 647 of file ConstraintSolverTests.cs.

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