Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Test::Int::Extensional::Create Class Reference

Help class to create and register tests. More...

Public Member Functions

 Create (void)
 Perform creation and registration.

Detailed Description

Help class to create and register tests.

Definition at line 660 of file extensional.cpp.

Constructor & Destructor Documentation

◆ Create()

Test::Int::Extensional::Create::Create ( void )
inline

Perform creation and registration.

Definition at line 663 of file extensional.cpp.


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