Help class to create and register tests with a fixed table size. More...
Public Member Functions | |
TupleSetTestSize (int size, bool pos) | |
Perform creation and registration. | |
Help class to create and register tests with a fixed table size.
Definition at line 613 of file extensional.cpp.
|
inline |
Perform creation and registration.
Find the arity needed for creating sufficient number of tuples
Build TupleSet
Definition at line 616 of file extensional.cpp.