Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.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: