Superclass for testing predicates and functions for double numbers defined in the math package.
All tests work as follows: we build an auto fact set, fetch an iterator and
count the facts generated.
Superclass for testing predicates and functions for integers from the math package.
All tests work as follows: we build an auto fact set, fetch an iterator and
count the facts generated.
Superclass for testing predicates and functions from the math package.
All tests work as follows: we build an auto fact set, fetch an iterator and
count the facts generated.